Release

K Framework Release v6.0.133 #876

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
K Ubuntu Jammy Package	27m 1s
Nix Release	1m 49s
Set Release ID	3s
Create source tarball	38s
Arch Linux Package	29m 24s
K Debian Bookworm Package	27m 15s
K Ubuntu Focal Package	1h 23m 33s
Build MacOS Package	1h 2m 37s
Test MacOS Package	14m 39s
Publish Release	21m 25s
GitHub Pages deployment	8m 51s
	4h 37m 15s