Release

K Framework Release v6.0.102 #845

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Nix Release	2m 36s
Set Release ID	3s
K Debian Bookworm Package	1h 26m 35s
Arch Linux Package	52m 22s
Create source tarball	54s
K Ubuntu Jammy Package	1h 7m 34s
K Ubuntu Focal Package	52m 27s
Build MacOS Package	1h 28m 34s
Test MacOS Package	17m 29s
Publish Release	19m 36s
GitHub Pages deployment	9m 11s
	6h 37m 21s