6 Commits

Author	SHA1	Message	Date
damirka	56ce8558df	change action to a different one	2021-08-17 13:03:10 +03:00
damirka	031cc98077	test release fetcher	2021-08-17 10:44:44 +03:00
damirka	97645eb443	remove comments, update circleci to rust 1.54	2021-08-09 21:57:15 -07:00
damirka	98ee5af387	collect failures	2021-08-09 21:55:03 -07:00
damirka	64e3432985	change to stable toolchain	2021-08-09 21:55:03 -07:00
damirka	595ae607f9	draft CI for acl2 -- without binaries	2021-08-09 21:51:54 -07:00