K Framework Release v6.1.21 #971

Job	Run time
k-framework-binary cachix release (ubuntu-20.04, ubuntu-20.04)	16m 52s
K Ubuntu Jammy Package	43m 10s
k-framework-binary cachix release (macos-13, macos-13)	37m 54s
Set Release ID	1s
k-framework-binary cachix release (MacM1, self-macos-12)	12m 56s
Create source tarball	49s
Build MacOS Package	1h 15m 11s
Test MacOS Package	7m 20s
Publish Release	20m 20s
GitHub Pages deployment	7m 26s
	3h 41m 59s

Provide feedback