K Framework Release v6.0.126 #868
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
release.yml
on: release
Set Release ID
Create source tarball
Nix Release
Arch Linux Package
K Debian Bookworm Package
K Ubuntu Focal Package
K Ubuntu Jammy Package
GitHub Pages deployment