leo/.github/workflows
2022-02-07 17:16:52 -05: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 fix spelling mistake, re-add codecov 2022-01-21 13:13:15 -08: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
wasm.yml comment out unused wasm ci 2022-02-07 17:16:52 -05:00