leo/.github/workflows
2022-03-14 13:34:01 -07:00
..
acl2.yml [tgc CI] make log more readable; allow tgc type inference to run even if there is a tgc canonicalization failure 2021-09-16 12:35:22 -07:00
ci.yml Remove cd dir 2022-03-14 13:34:01 -07:00
docs.yml finish docs, setup ci to publish docs pages, test docs generation 2021-08-10 19:59:27 -07:00
markdown.yml Update markdown script 2020-06-15 17:38:14 -07:00
release.yml cleanup 2021-06-16 15:21:11 +03:00