K Framework Release v6.1.72 #1022

Job	Run time
Set Release ID	1s
Set Release ID	1s
Create source tarball	35s
Create source tarball	35s
k-framework-binary cachix release (ubuntu-20.04, ubuntu-20.04)	17m 22s
k-framework-binary cachix release (ubuntu-20.04, ubuntu-20.04)	17m 22s
K Ubuntu Jammy Package	32m 2s
K Ubuntu Jammy Package	32m 2s
k-framework-binary cachix release (macos-13, macos-13)	27m 17s
k-framework-binary cachix release (macos-13, macos-13)	22m 41s
k-framework-binary cachix release (MacM1, self-macos-12)	13m 41s
k-framework-binary cachix release (MacM1, self-macos-12)	13m 41s
Build MacOS Package	1h 2m 33s
Build MacOS Package	1h 2m 33s
Test MacOS Package	5m 15s
Test MacOS Package	5m 15s
Publish Release	0s
Publish Release	22m 37s
GitHub Pages deployment	0s
GitHub Pages deployment	7m 7s
	5h 42m 40s

Provide feedback