Ryan Scott efc3fe7b42 Include one Ubuntu 20.04 configuration (#1447) ... PR #1403 accidentally removed our build coverage for an older Ubuntu LTS configuration. This patch adds in back and ensures that we don't accidentally run the tests on this configuration.		2022-10-13 17:55:46 +03:00
..
workflows	Include one Ubuntu 20.04 configuration (#1447)	2022-10-13 17:55:46 +03:00
ci.sh	FFI: Revert dynamic linking hacks for linux	2022-08-05 13:54:38 -07:00
pr-labeler.yml	Implement GitHub actions (#722)	2020-05-14 10:50:22 -07:00
release-drafter.yml	Implement GitHub actions (#722)	2020-05-14 10:50:22 -07:00
wix.ps1	Only include bindist-related files in cryptol.msi	2022-05-23 06:47:16 -04:00