Release

K Framework Release v6.0.145 #888

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Set Release ID	1s
K Debian Bookworm Package	1h 10m 18s
Nix Release	1m 53s
Arch Linux Package	46m 22s
Create source tarball	48s
K Ubuntu Jammy Package	52m 53s
Build MacOS Package	1h 18m 58s
Test MacOS Package	12m 12s
Publish Release	20m 40s
GitHub Pages deployment	9m 16s
	4h 53m 21s