This website requires JavaScript.
Explore
Help
Sign In
tlaternet
/
tlaternet-templates
Archived
Watch
1
Star
0
Fork
You've already forked tlaternet-templates
0
Code
Issues
4
Pull requests
Releases
Wiki
Activity
This repository has been archived on
2022-09-16
. You can view files and clone it, but cannot push or open issues or pull requests.
056acbf397
tlaternet-templates
/
nix
History
Tristan Daniël Maat
056acbf397
Add nix flake checks
2022-08-03 01:47:50 +01:00
..
checks.nix
Add nix flake checks
2022-08-03 01:47:50 +01:00
package.nix
Add nix flake checks
2022-08-03 01:47:50 +01:00
update-lockfile
Clean up dev workflow a bit
2022-08-01 21:15:30 +01:00