Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
master-pr.yml
57 workflow runs
57 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Support more attributes in pyk, skip polymorphic rule handling in frontend Test PR #565: Pull request #4916 opened by ehildenb
18s att-handling-cleanup
att-handling-cleanup
18s
Handle KAs in sort inference, basic sort parameter inference, and better cell map handling Test PR #564: Pull request #4915 opened by ehildenb
22s sort-handling-improvements
sort-handling-improvements
22s
Handle sort parameters correctly in JSON Kast format Test PR #563: Pull request #4913 opened by ehildenb
21s sort-params-kast
sort-params-kast
21s
Support Claude as developer, add --top-cell flag to pyk kompile Test PR #562: Pull request #4912 opened by ehildenb
21s more-comp-pipeline
more-comp-pipeline
21s
Fix/cachix pin no response - follow up Test PR #561: Pull request #4910 opened by juliankuners
17s fix-cachix-pin-2
fix-cachix-pin-2
17s
Upstream anonymous telemetry module Test PR #560: Pull request #4909 opened by anvacaru
17s anvacaru/telemetry-2
anvacaru/telemetry-2
17s
pyk: add node_id to custom_step Test PR #559: Pull request #4907 opened by juliankuners
19s pyk-pass-node_id-custom_step
pyk-pass-node_id-custom_step
19s
Fixing Cachix Push / Pin Test PR #558: Pull request #4906 opened by F-WRunTime
17s hotfix/cachix-pin-and-push
hotfix/cachix-pin-and-push
17s
Please ignore, testing only Test PR #557: Pull request #4900 opened by jberthold
20s testing-only
testing-only
20s
Github WF update missed moving off a private runner to a public runner. Test PR #556: Pull request #4896 opened by F-WRunTime
18s hotfix/missed-cachix-public
hotfix/missed-cachix-public
18s
Testing build K and Publish to Cachix Test PR #555: Pull request #4895 opened by F-WRunTime
19s fix/cachix-release-timeout
fix/cachix-release-timeout
19s
Update cachix in CI Test PR #554: Pull request #4892 synchronize by juliankuners
21s update-cachix-in-ci
update-cachix-in-ci
21s
Update cachix in CI Test PR #553: Pull request #4892 opened by juliankuners
19s update-cachix-in-ci
update-cachix-in-ci
19s
Streaming support for JsonRpcServer Test PR #552: Pull request #4877 opened by RaoulSchaffranek
16s raoul/rpc-streaming-2
raoul/rpc-streaming-2
16s
Streaming support for JsonRpcServer Test PR #551: Pull request #4875 synchronize by RaoulSchaffranek
22s raoul/rpc-streaming
raoul/rpc-streaming
22s
Streaming support for JsonRpcServer Test PR #550: Pull request #4875 opened by RaoulSchaffranek
10s raoul/rpc-streaming
raoul/rpc-streaming
10s
Resolve Spotless + Java 17 Test PR #549: Pull request #4869 opened by F-WRunTime
23s fix/spotless-on-macos
fix/spotless-on-macos
23s
[DO NOT MERGE] Testing PR workflow Test PR #548: Pull request #4868 opened by Robertorosmaninho
17s roberto/feature/pr-macos-testing
roberto/feature/pr-macos-testing
17s
Introduce pyproject-nix overlay in nix flake Test PR #547: Pull request #4862 opened by juliankuners
16s nix-pyproject-overlay
nix-pyproject-overlay
16s
Skip macOS testing in release: Make macOS testing non-blocking Test PR #546: Pull request #4856 synchronize by F-WRunTime
20s hotfix/mac-release-failure
hotfix/mac-release-failure
20s
Skip macOS testing in release: Make macOS testing non-blocking Test PR #545: Pull request #4856 synchronize by F-WRunTime
17s hotfix/mac-release-failure
hotfix/mac-release-failure
17s
Skip macOS testing in release: Make macOS testing non-blocking Test PR #544: Pull request #4856 synchronize by F-WRunTime
20s hotfix/mac-release-failure
hotfix/mac-release-failure
20s
Skip macOS testing in release: Make macOS testing non-blocking Test PR #543: Pull request #4856 opened by F-WRunTime
15s hotfix/mac-release-failure
hotfix/mac-release-failure
15s
Do not require MacOS Test / Deploy Success Test PR #542: Pull request #4855 opened by F-WRunTime
19s hotfix/mac-release-failure
hotfix/mac-release-failure
19s
Update LLVM version from 15/16 to 17 across K Framework Test PR #541: Pull request #4854 opened by F-WRunTime
19s update/llvm-version
update/llvm-version
19s