K Framework Release v6.1.18 #968

Job	Run time
Create source tarball	36s
Create source tarball	36s
k-framework-binary cachix release (ubuntu-20.04, ubuntu-20.04)	1m 1s
k-framework-binary cachix release (ubuntu-20.04, ubuntu-20.04)	1m 1s
k-framework-binary cachix release (macos-13, macos-13)	48s
k-framework-binary cachix release (macos-13, macos-13)	32m 22s
k-framework-binary cachix release (MacM1, self-macos-12)	1m 2s
k-framework-binary cachix release (MacM1, self-macos-12)	1m 2s
K Ubuntu Jammy Package	36m 21s
K Ubuntu Jammy Package	36m 21s
Set Release ID	1s
Set Release ID	1s
Build MacOS Package	1h 11m 53s
Build MacOS Package	1h 11m 53s
Test MacOS Package	6m 5s
Test MacOS Package	6m 5s
Publish Release	0s
Publish Release	0s
GitHub Pages deployment	0s
GitHub Pages deployment	0s
	4h 27m 8s

Provide feedback