K Framework Release v7.1.18 #1362

Job	Run time
Set Release ID	3s
k-framework-binary cachix release (ubuntu-24.04, ubuntu-24.04)	12m 49s
k-framework-binary cachix release (MacM1, self-macos-12)	4m 55s
K Ubuntu Jammy Package	26m 1s
Create source tarball	53s
Build MacOS Package	25m 49s
Test MacOS Package	3m 33s
Build Pyk Documentation	5m 34s
Publish Release	9m 42s
Publish pyk	42s
GitHub Pages deployment	7m 51s
Notify Dependents	7s
	1h 37m 59s

Provide feedback