5 Commits

Author	SHA1	Message	Date
Jon Chambers	ebb5fb5404	Run GitHub Actions under Ubuntu 20.04	2023-08-03 16:24:10 -04:00
gram-signal	b39148eb1f	Speed up incremental building of enclave by moving long-running steps into Docker.	2022-09-02 11:11:56 -06:00
Ehren Kret	0d9e9aaaad	Enable GitHub Stale Bot	2022-01-12 18:33:16 -06:00
Jeffrey Griffin	e3f4389429	add enclave tests to github CI	2020-04-12 11:56:49 -07:00
Jeffrey Griffin	042db25857	github actions CI	2020-01-10 15:00:54 -08:00