This website requires JavaScript.
Explore
Help
Register
Sign in
DGNum
/
infrastructure
Watch
13
Star
6
Fork
You've already forked infrastructure
3
Code
Issues
20
Pull requests
9
Projects
1
Releases
Packages
Wiki
Activity
Actions
c5e15987ed
infrastructure
/
machines
/
web01
/
metis
History
Tom Hubrecht
3388771929
All checks were successful
build configuration / build_storage01 (push)
Successful in 48s
Details
build configuration / build_web01 (push)
Successful in 1m7s
Details
build configuration / build_compute01 (push)
Successful in 2m39s
Details
feat(web01): Improve redirections and make calendrier.eleves.ens.fr -> calendrier.dgnum.eu
2023-12-19 18:38:57 +01:00
..
default.nix
feat(web01): Improve redirections and make calendrier.eleves.ens.fr -> calendrier.dgnum.eu
2023-12-19 18:38:57 +01:00