Skip to content

Testing build K and Publish to Cachix #4895

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
automergerpr-permission-manager merged 16 commits into from
Jan 6, 2026
+10 −3
Merged

Testing build K and Publish to Cachix #4895

Show file tree
Hide file tree
Changes from 14 commits
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
3f88ba3
Testing build K and Publish to cachix
F-WRunTime Dec 20, 2025
b23dc17
Prepare for Review
F-WRunTime Dec 21, 2025
43aaa83
Merge branch 'develop' into fix/cachix-release-timeout
F-WRunTime Dec 21, 2025
5fc72ee
Replace kup publish with direct cachix push to fix macOS upload timeouts
F-WRunTime Dec 21, 2025
775bcad
Designate / target self hosted Mac os latest
F-WRunTime Dec 22, 2025
a7b324e
Set to Public MacOS runner 14
F-WRunTime Dec 23, 2025
009beb9
Run on macos 15
F-WRunTime Dec 23, 2025
28efd8f
Setting up release to use the public runner
F-WRunTime Dec 23, 2025
18dcf16
Removing test job no longer needed, now implemented in release
F-WRunTime Jan 5, 2026
c170f96
Release is prepared, and WF cleaned up for testing / review
F-WRunTime Jan 5, 2026
677b645
Removing changes from test-pr.yml
F-WRunTime Jan 5, 2026
6ee3afb
Removing changes from test-pr.yml
F-WRunTime Jan 5, 2026
31b8e85
Quick test to determine 'kup publish' + public mac runner is a simple…
F-WRunTime Jan 5, 2026
97c5135
Reverting test changes. Updating release with kup publish again, redu…
F-WRunTime Jan 6, 2026
1896e3d
Test using nix-shell-action over bash script 'run'
F-WRunTime Jan 6, 2026
88f23e9
Reverting testing. UPdating release to use 'uses with nix, and add pa…
F-WRunTime Jan 6, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
25 changes: 15 additions & 10 deletions .github/workflows/release.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -51,8 +51,12 @@ jobs:
include:
- runner: ubuntu-24.04
os: ubuntu-24.04
- runner: self-macos-latest
os: self-macos-latest
# Using macos-latest (public runner) instead of self-macos-latest (self-hosted)
# because the public runner has proven more reliable for large file uploads.
# The condition !startsWith(matrix.os, 'self') ensures Nix/Cachix are installed
# on public runners (they're pre-installed on self-hosted runners).
- runner: macos-latest
os: macos-15
runs-on: ${{ matrix.runner }}
timeout-minutes: 120
steps:
Expand All @@ -76,17 +80,18 @@ jobs:
name: k-framework-binary

- name: 'Publish K to k-framework-binary cache'
uses: workflow/nix-shell-action@v3.3.2
env:
CACHIX_AUTH_TOKEN: '${{ secrets.CACHIX_PRIVATE_KFB_TOKEN }}'
GC_DONT_GC: '1'
with:
packages: jq
script: |
export PATH="$(nix build github:runtimeverification/kup --no-link --json | jq -r '.[].outputs | to_entries[].value')/bin:$PATH"
kup publish --verbose k-framework-binary .#k --keep-days 180
kup publish --verbose k-framework-binary .#k.openssl.secp256k1 --keep-days 180
kup publish --verbose k-framework-binary .#k.openssl.procps.secp256k1 --keep-days 180
run: |
# Install kup
export PATH="$(nix build github:runtimeverification/kup --no-link --json | jq -r '.[].outputs | to_entries[].value')/bin:$PATH"

# Publish all three package variants using kup publish
# Using public macOS runner has proven reliable for large file uploads
kup publish --verbose k-framework-binary .#k --keep-days 180
kup publish --verbose k-framework-binary .#k.openssl.secp256k1 --keep-days 180
kup publish --verbose k-framework-binary .#k.openssl.procps.secp256k1 --keep-days 180

cachix-release-dependencies:
name: 'k-framework cachix release'
Expand Down
1 change: 0 additions & 1 deletion .github/workflows/test-pr.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -462,4 +462,3 @@ jobs:
path: homebrew-k/Formula/kframework.rb
retention-days: 1


Loading