Aaron Tomb 5100132e4c Tweak a few things for 2.9.0 (#833) ... * Fix Dockerfile * Include version number in CHANGES.md * Update copyright dates * Don't include cryptol-specs in release archives * Remove duplicate copy of Programming Cryptol		2020-07-28 08:41:27 -07:00
..
workflows	Enable docker builds for releases and nightlies (#834)	2020-07-28 08:40:34 -07:00
ci.sh	Tweak a few things for 2.9.0 (#833)	2020-07-28 08:41:27 -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	Implement GitHub actions (#722)	2020-05-14 10:50:22 -07:00