Luc Perkins 7ce3b51a1d Update detsys-ts		2024-05-22 15:40:01 -03:00
..
ci.yml	Rename workflow	2024-04-29 10:15:25 -03:00
update.yml	Update detsys-ts	2024-05-22 15:40:01 -03:00
validate.yml	Update Nix shell and add envrc	2024-04-21 19:42:23 -03:00