2 Commits

Author	SHA1	Message	Date
Cory Benfield	59b966415d	Fix documentation and add infrastructure for CI-ing it (#169) ... * Fix documentation and add infrastructure for CI-ing it * Add 2023 to soundness	2023-04-11 13:35:16 +01:00
David Nadoba	cbfab6163c	Add Swift 5.8 CI and update nightly CI to Ubuntu 22.04 (#167)	2023-01-18 08:15:41 +01:00