Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-pr.yml
543 workflow runs
543 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
Handle sort parameters correctly in JSON Kast format Test PR #7838: Pull request #4913 synchronize by ehildenb
26m 20s sort-params-kast
sort-params-kast
26m 20s
Handle sort parameters correctly in JSON Kast format Test PR #7837: Pull request #4913 synchronize by ehildenb
45m 45s sort-params-kast
sort-params-kast
45m 45s
Support Claude as developer, add --top-cell flag to pyk kompile Test PR #7836: Pull request #4912 synchronize by ehildenb
38m 22s more-comp-pipeline
more-comp-pipeline
38m 22s
Handle sort parameters correctly in JSON Kast format Test PR #7835: Pull request #4913 synchronize by ehildenb
29m 52s sort-params-kast
sort-params-kast
29m 52s
Handle sort parameters correctly in JSON Kast format Test PR #7834: Pull request #4913 edited by ehildenb
2m 2s sort-params-kast
sort-params-kast
2m 2s
Handle sort parameters correctly in JSON Kast format Test PR #7833: Pull request #4913 edited by rv-jenkins
2m 11s sort-params-kast
sort-params-kast
2m 11s
Support Claude as developer, add --top-cell flag to pyk kompile Test PR #7832: Pull request #4912 synchronize by ehildenb
25m 45s more-comp-pipeline
more-comp-pipeline
25m 45s
Support Claude as developer, add --top-cell flag to pyk kompile Test PR #7831: Pull request #4912 edited by rv-jenkins
2m 6s more-comp-pipeline
more-comp-pipeline
2m 6s
Improvements to show, and new show from disc Test PR #7830: Pull request #4911 synchronize by mariaKt
25m 7s mk/show-from-disk-2
mk/show-from-disk-2
25m 7s
Improvements to show, and new show from disc Test PR #7829: Pull request #4911 synchronize by mariaKt
48m 55s mk/show-from-disk-2
mk/show-from-disk-2
48m 55s
Improvements to show, and new show from disc Test PR #7828: Pull request #4911 edited by mariaKt
1m 32s mk/show-from-disk-2
mk/show-from-disk-2
1m 32s
Improvements to show, and new show from disc Test PR #7827: Pull request #4911 opened by mariaKt
1m 39s mk/show-from-disk-2
mk/show-from-disk-2
1m 39s
Fix/cachix pin no response - follow up Test PR #7826: Pull request #4910 edited by rv-jenkins
1h 3m 3s fix-cachix-pin-2
fix-cachix-pin-2
1h 3m 3s
Upstream anonymous telemetry module Test PR #7825: Pull request #4909 synchronize by anvacaru
43m 54s anvacaru/telemetry-2
anvacaru/telemetry-2
43m 54s
Upstream anonymous telemetry module Test PR #7824: Pull request #4909 synchronize by anvacaru
5m 36s anvacaru/telemetry-2
anvacaru/telemetry-2
5m 36s
Upstream anonymous telemetry module Test PR #7823: Pull request #4909 synchronize by anvacaru
16m 52s anvacaru/telemetry-2
anvacaru/telemetry-2
16m 52s
Fixing Cachix Push / Pin Test PR #7822: Pull request #4906 synchronize by anvacaru
49m 22s hotfix/cachix-pin-and-push
hotfix/cachix-pin-and-push
49m 22s
pyk: add node_id to custom_step Test PR #7821: Pull request #4907 synchronize by juliankuners
41m 22s pyk-pass-node_id-custom_step
pyk-pass-node_id-custom_step
41m 22s
pyk: add node_id to custom_step Test PR #7820: Pull request #4907 synchronize by juliankuners
23m 30s pyk-pass-node_id-custom_step
pyk-pass-node_id-custom_step
23m 30s
Upstream anonymous telemetry module Test PR #7819: Pull request #4909 synchronize by anvacaru
2h 1m 27s anvacaru/telemetry-2
anvacaru/telemetry-2
2h 1m 27s
Upstream anonymous telemetry module Test PR #7818: Pull request #4909 edited by rv-jenkins
2m 12s anvacaru/telemetry-2
anvacaru/telemetry-2
2m 12s
pyk: add node_id to custom_step Test PR #7817: Pull request #4907 synchronize by juliankuners
46m 33s pyk-pass-node_id-custom_step
pyk-pass-node_id-custom_step
46m 33s
pyk: add node_id to custom_step Test PR #7816: Pull request #4907 edited by rv-jenkins
14m 25s pyk-pass-node_id-custom_step
pyk-pass-node_id-custom_step
14m 25s
Fixing Cachix Push / Pin Test PR #7815: Pull request #4906 synchronize by F-WRunTime
51m 19s hotfix/cachix-pin-and-push
hotfix/cachix-pin-and-push
51m 19s
Fixing Cachix Push / Pin Test PR #7814: Pull request #4906 edited by rv-jenkins
41m 25s hotfix/cachix-pin-and-push
hotfix/cachix-pin-and-push
41m 25s