K Framework Release v6.1.91 #1042

Job	Run time
K Ubuntu Jammy Package	54m 31s
Create source tarball	51s
Set Release ID	1s
k-framework-binary cachix release (ubuntu-20.04, ubuntu-20.04)	17m 28s
k-framework-binary cachix release (macos-13, macos-13)	27m 11s
k-framework-binary cachix release (MacM1, self-macos-12)	11m 34s
Build MacOS Package	1h 13m 37s
Test MacOS Package	7m 10s
Publish Release	52m 57s
GitHub Pages deployment	7m 24s
	4h 12m 44s

Provide feedback