this repo has no description
fix date, fix workflow
+25
-11
+1
-5
.github/workflows/typst.yml
+1
-5
.github/workflows/typst.yml
+3
-3
main.typ
+3
-3
main.typ
···
4
4
authors: (
5
5
(name: "Gwenn Le Bihan", email: "gwenn.lebihan@etu.inp-n7.fr", affiliation: "ENSEEIHT"),
6
6
),
7
-
date: "2 Septembre 2025",
7
+
date: datetime.today(),
8
8
logo: "enseeiht.jpeg",
9
9
abstract: [
10
10
Ce stage porte sur l'intégration de Nix et NixOS dans les processus de développement et de déploiement logiciel dans le domaine robotique au sein du LAAS. Nix, le _package manager_, et NixOS, l'OS, sont des technologies permettant une reproductibilité, une qualité importante dans le monde de la recherche.
···
20
20
#pagebreak()
21
21
22
22
23
-
#include("biblio.typ")
23
+
#include "biblio.typ"
24
24
25
-
#include("log.typ")
25
+
#include "log.typ"
26
26
27
27
28
28
#bibliography("bib.yaml")
+21
-3
template.typ
+21
-3
template.typ
···
64
64
),
65
65
),
66
66
),
67
-
numbering: (current, ..total) => if total.pos().len() > 0
68
-
and current == total.at(0) {
67
+
numbering: (current, ..total) => if total.pos().len() > 0 and current == total.at(0) {
69
68
// sig(str(current))
70
69
str(current)
71
70
} else {
···
177
176
)
178
177
}
179
178
180
-
align(center)[#date]
179
+
align(center)[#{
180
+
if type(date) == datetime {
181
+
date
182
+
.display("[day padding:none] [month repr:long] [year]")
183
+
.replace("January", "janvier")
184
+
.replace("February", "février")
185
+
.replace("March", "mars")
186
+
.replace("April", "avril")
187
+
.replace("May", "mai")
188
+
.replace("June", "juin")
189
+
.replace("July", "juillet")
190
+
.replace("August", "août")
191
+
.replace("September", "septembre")
192
+
.replace("October", "octobre")
193
+
.replace("November", "novembre")
194
+
.replace("December", "décembre")
195
+
} else {
196
+
date
197
+
}
198
+
}]
181
199
182
200
// Abstract.
183
201
if abstract != none {