Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-pr.yml
536 workflow runs
536 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
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
Fixing some typos in domains.md Test PR #7813: Pull request #4905 opened by dkcumming
48m 44s dc/typos
dc/typos
48m 44s
Prepend to GHCRTS in KoreServer instead of overwrite Test PR #7812: Pull request #4903 opened by tothtamas28
35m 5s ghcrts-fix
ghcrts-fix
35m 5s
Update dependency: deps/haskell-backend_release Test PR #7811: Pull request #4902 synchronize by rv-jenkins
49m 47s _update-deps/runtimeverification/haskell-backend
_update-deps/runtimeverification/haskell-backend
49m 47s
Update dependency: deps/haskell-backend_release Test PR #7810: Pull request #4902 opened by rv-jenkins
3m 15s _update-deps/runtimeverification/haskell-backend
_update-deps/runtimeverification/haskell-backend
3m 15s
Update dependency: deps/haskell-backend_release Test PR #7809: Pull request #4899 synchronize by tothtamas28
46m 54s _update-deps/runtimeverification/haskell-backend
_update-deps/runtimeverification/haskell-backend
46m 54s
Fix lakefile.toml template Test PR #7808: Pull request #4901 opened by tothtamas28
22m 57s lakefile-fix
lakefile-fix
22m 57s
Please ignore, testing only Test PR #7807: Pull request #4900 synchronize by jberthold
1h 6m 55s testing-only
testing-only
1h 6m 55s
Please ignore, testing only Test PR #7806: Pull request #4900 synchronize by jberthold
21s testing-only
testing-only
21s
Please ignore, testing only Test PR #7805: Pull request #4900 synchronize by jberthold
27s testing-only
testing-only
27s