lean4-htt/.github/workflows
2021-01-05 12:45:53 +01:00
..
ci.yml chore: nightlies: accept spaces in token (assuming GH accepts them) 2021-01-05 12:45:53 +01:00
nix-ci.yml chore: CI: verbose output for Build manual 2020-12-14 14:53:36 +01:00