leo/.github/workflows
2022-01-21 12:15:10 -08: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 forgot we needed to update the ci's as well. 2022-01-21 12:15:10 -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 forgot we needed to update the ci's as well. 2022-01-21 12:15:10 -08:00