Iavor Diatchki ba4a9d8c74 Remove accidentally commited change		2022-11-17 09:36:05 -08:00
..
workflows	Include one Ubuntu 20.04 configuration (#1447)	2022-10-06 13:08:35 -04:00
ci.sh	Remove accidentally commited change	2022-11-17 09:36:05 -08: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