Skip to content

Test update deps/m2 2 #51

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

Open
wants to merge 16 commits into
base: master
Choose a base branch
from
Open

Test update deps/m2 2 #51

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
b50cd94
deps/k_release: Set Version 7.1.282
rv-auditor Aug 26, 2025
63ef6c7
Sync uv files: kframework 7.1.282
rv-auditor Aug 27, 2025
a8f9b8d
flake.{nix,lock}: update Nix derivations
rv-auditor Aug 27, 2025
4123c89
deps/k_release: Set Version 7.1.286
rv-auditor Sep 13, 2025
1fa6b56
Sync uv files: kframework 7.1.286
rv-auditor Sep 13, 2025
24f4623
flake.{nix,lock}: update Nix derivations
rv-auditor Sep 13, 2025
651ab01
deps/k_release: Set Version 7.1.288
rv-auditor Sep 18, 2025
987dc52
Sync uv files: kframework 7.1.288
rv-auditor Sep 18, 2025
463e360
flake.{nix,lock}: update Nix derivations
rv-auditor Sep 18, 2025
f5ba0c2
workflow debugging; remove this commit later again
juliankuners Sep 24, 2025
953af41
Sync uv files: kframework 7.1.288
rv-auditor Sep 24, 2025
7c1148a
debugging: change nix version to 2.31.2
juliankuners Sep 24, 2025
0e386d9
debugging: remove artifacts
juliankuners Sep 24, 2025
002f748
Test updates specifically on m2-2
F-WRunTime Sep 26, 2025
bc796ac
Adding in m2-1 for additonal comparison testing
F-WRunTime Sep 26, 2025
9d77614
Reverting KIMP_BIN definition and removing NIX line
F-WRunTime Sep 26, 2025
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
6 changes: 5 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 @@ -75,7 +75,7 @@ jobs:
strategy:
fail-fast: false
matrix:
runner: [normal, MacM1] # MacM1 / normal are self-hosted
runner: [rvwork-m2-1, rvwork-m2-2] # MacM1 / normal are self-hosted
runs-on: ${{ matrix.runner }}
timeout-minutes: 60
steps:
Expand Down Expand Up @@ -103,6 +103,10 @@ jobs:
run: |
set -euxo pipefail
nix --version

# debugging
ls -l $(which nix)

JQ=$(nix-build '<nixpkgs>' -A jq --no-link)/bin/jq
KIMP_BIN=$(nix build .#kimp --print-build-logs --json | $JQ -r '.[].outputs | to_entries[].value')/bin
echo $KIMP_BIN >> $GITHUB_PATH
Expand Down
2 changes: 1 addition & 1 deletion deps/k_release
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
7.1.280
7.1.288
16 changes: 8 additions & 8 deletions flake.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion flake.nix
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
nixpkgs.follows = "rv-nix-tools/nixpkgs";

flake-utils.url = "github:numtide/flake-utils";
k-framework.url = "github:runtimeverification/k/v7.1.280";
k-framework.url = "github:runtimeverification/k/v7.1.288";
k-framework.inputs.nixpkgs.follows = "nixpkgs";
uv2nix.url = "github:pyproject-nix/uv2nix/680e2f8e637bc79b84268949d2f2b2f5e5f1d81c";
# stale nixpkgs is missing the alias `lib.match` -> `builtins.match`
Expand Down
2 changes: 1 addition & 1 deletion pyproject.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ description = ""
readme = "README.md"
requires-python = "~=3.10"
dependencies = [
"kframework==7.1.280",
"kframework==7.1.288",
]

[[project.authors]]
Expand Down
Loading