K Framework Release v6.0.193 #943

Job	Run time
K Ubuntu Jammy Package	28m 21s
K Ubuntu Jammy Package	28m 21s
K Ubuntu Jammy Package	28m 21s
K Ubuntu Jammy Package	18m 28s
Set Release ID	1s
Set Release ID	1s
Set Release ID	1s
Set Release ID	1s
k-framework-binary cachix release (ubuntu-20.04, ubuntu-20.04)	25m 6s
k-framework-binary cachix release (ubuntu-20.04, ubuntu-20.04)	25m 6s
k-framework-binary cachix release (ubuntu-20.04, ubuntu-20.04)	25m 6s
k-framework-binary cachix release (ubuntu-20.04, ubuntu-20.04)	12m 50s
Create source tarball	43s
Create source tarball	43s
Create source tarball	43s
Create source tarball	40s
k-framework-binary cachix release (macos-13, macos-13)	26m 40s
k-framework-binary cachix release (macos-13, macos-13)	26m 40s
k-framework-binary cachix release (macos-13, macos-13)	26m 40s
k-framework-binary cachix release (macos-13, macos-13)	28m 13s
k-framework-binary cachix release (MacM1, self-macos-12)	3m 33s
k-framework-binary cachix release (MacM1, self-macos-12)	3m 33s
k-framework-binary cachix release (MacM1, self-macos-12)	3m 33s
k-framework-binary cachix release (MacM1, self-macos-12)	35s
Build MacOS Package	1h 2m 6s
Build MacOS Package	1m 33s
Build MacOS Package	1m 37s
Build MacOS Package	0s
Test MacOS Package	0s
Test MacOS Package	0s
Test MacOS Package	0s
Test MacOS Package	0s
Publish Release	0s
Publish Release	0s
Publish Release	0s
Publish Release	0s
GitHub Pages deployment	0s
GitHub Pages deployment	0s
GitHub Pages deployment	0s
GitHub Pages deployment	0s
	6h 19m 15s

Provide feedback