Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-pr.yml
532 workflow runs
532 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 KAs in sort inference, basic sort parameter inference, and better cell map handling Test PR #7846: Pull request #4915 synchronize by ehildenb
43m 57s sort-handling-improvements
sort-handling-improvements
43m 57s
Support more attributes in pyk, skip polymorphic rule handling in frontend Test PR #7845: Pull request #4916 edited by rv-jenkins
6h 2m 21s att-handling-cleanup
att-handling-cleanup
6h 2m 21s
Handle KAs in sort inference, basic sort parameter inference, and better cell map handling Test PR #7844: Pull request #4915 edited by rv-jenkins
5m 36s sort-handling-improvements
sort-handling-improvements
5m 36s
Update regression new Test PR #7843: Pull request #4914 edited by ehildenb
21m 2s update-regression-new
update-regression-new
21m 2s
Update regression new Test PR #7842: Pull request #4914 opened by ehildenb
7m 13s update-regression-new
update-regression-new
7m 13s
Handle sort parameters correctly in JSON Kast format Test PR #7841: Pull request #4913 synchronize by ehildenb
53m 32s sort-params-kast
sort-params-kast
53m 32s
Handle sort parameters correctly in JSON Kast format Test PR #7840: Pull request #4913 synchronize by ehildenb
51m 13s sort-params-kast
sort-params-kast
51m 13s
Handle sort parameters correctly in JSON Kast format Test PR #7839: Pull request #4913 edited by ehildenb
24m 14s sort-params-kast
sort-params-kast
24m 14s
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