Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-pr.yml
4,090 workflow runs
4,090 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update dependency: deps/haskell-backend_release Test PR #7140: Pull request #4702 synchronize by PetarMax
December 16, 2024 15:02 38m 43s _update-deps/runtimeverification/haskell-backend
_update-deps/runtimeverification/haskell-backend
December 16, 2024 15:02 38m 43s
Add class KoreDefn Test PR #7139: Pull request #4712 synchronize by tothtamas28
December 16, 2024 12:42 18m 35s minimize-definition
minimize-definition
December 16, 2024 12:42 18m 35s
Update dependency: deps/llvm-backend_release Test PR #7138: Pull request #4711 synchronize by Robertorosmaninho
December 14, 2024 00:12 30m 47s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
December 14, 2024 00:12 30m 47s
Update dependency: deps/llvm-backend_release Test PR #7137: Pull request #4711 synchronize by rv-jenkins
December 13, 2024 21:14 31m 23s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
December 13, 2024 21:14 31m 23s
Update dependency: deps/llvm-backend_release Test PR #7136: Pull request #4711 synchronize by rv-jenkins
December 13, 2024 21:12 1m 43s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
December 13, 2024 21:12 1m 43s
Update dependency: deps/llvm-backend_release Test PR #7135: Pull request #4711 synchronize by rv-jenkins
December 13, 2024 20:10 30m 46s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
December 13, 2024 20:10 30m 46s
Update dependency: deps/llvm-backend_release Test PR #7134: Pull request #4711 synchronize by rv-jenkins
December 13, 2024 20:07 2m 48s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
December 13, 2024 20:07 2m 48s
Update dependency: deps/llvm-backend_release Test PR #7133: Pull request #4711 synchronize by Robertorosmaninho
December 13, 2024 19:27 40m 39s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
December 13, 2024 19:27 40m 39s
Update dependency: deps/llvm-backend_release Test PR #7132: Pull request #4711 synchronize by Robertorosmaninho
December 13, 2024 19:24 2m 40s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
December 13, 2024 19:24 2m 40s
Update dependency: deps/llvm-backend_release Test PR #7131: Pull request #4711 synchronize by Robertorosmaninho
December 13, 2024 18:46 27m 15s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
December 13, 2024 18:46 27m 15s
Update dependency: deps/llvm-backend_release Test PR #7130: Pull request #4711 synchronize by rv-jenkins
December 13, 2024 16:29 30m 46s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
December 13, 2024 16:29 30m 46s
Update dependency: deps/llvm-backend_release Test PR #7129: Pull request #4711 synchronize by rv-jenkins
December 13, 2024 16:28 1m 36s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
December 13, 2024 16:28 1m 36s
Add class KoreDefn Test PR #7128: Pull request #4712 edited by tothtamas28
December 13, 2024 13:58 30m 52s minimize-definition
minimize-definition
December 13, 2024 13:58 30m 52s
Add class KoreDefn Test PR #7127: Pull request #4712 opened by tothtamas28
December 13, 2024 13:58 53s minimize-definition
minimize-definition
December 13, 2024 13:58 53s
KCFG optimisation-on-creation Test PR #7126: Pull request #4710 synchronize by PetarMax
December 13, 2024 11:21 30m 29s petar/kcfg-optimization
petar/kcfg-optimization
December 13, 2024 11:21 30m 29s
KCFG optimisation-on-creation Test PR #7125: Pull request #4710 synchronize by PetarMax
December 12, 2024 23:21 29m 52s petar/kcfg-optimization
petar/kcfg-optimization
December 12, 2024 23:21 29m 52s
KCFG optimisation-on-creation Test PR #7124: Pull request #4710 synchronize by PetarMax
December 12, 2024 22:44 33m 57s petar/kcfg-optimization
petar/kcfg-optimization
December 12, 2024 22:44 33m 57s
KCFG optimisation-on-creation Test PR #7123: Pull request #4710 synchronize by PetarMax
December 12, 2024 22:40 4m 34s petar/kcfg-optimization
petar/kcfg-optimization
December 12, 2024 22:40 4m 34s
KCFG optimisation-on-creation Test PR #7122: Pull request #4710 synchronize by PetarMax
December 12, 2024 22:39 1m 6s petar/kcfg-optimization
petar/kcfg-optimization
December 12, 2024 22:39 1m 6s
Update dependency: deps/llvm-backend_release Test PR #7121: Pull request #4711 synchronize by rv-jenkins
December 12, 2024 21:48 29m 41s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
December 12, 2024 21:48 29m 41s
Update dependency: deps/llvm-backend_release Test PR #7120: Pull request #4711 synchronize by rv-jenkins
December 12, 2024 21:47 1m 34s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
December 12, 2024 21:47 1m 34s
Update dependency: deps/llvm-backend_release Test PR #7119: Pull request #4711 synchronize by rv-jenkins
December 12, 2024 20:40 31m 32s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
December 12, 2024 20:40 31m 32s
Update dependency: deps/llvm-backend_release Test PR #7118: Pull request #4711 synchronize by rv-jenkins
December 12, 2024 20:39 1m 40s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
December 12, 2024 20:39 1m 40s
KCFG optimisation-on-creation Test PR #7117: Pull request #4710 synchronize by PetarMax
December 12, 2024 16:58 30m 38s petar/kcfg-optimization
petar/kcfg-optimization
December 12, 2024 16:58 30m 38s
KCFG optimisation-on-creation Test PR #7116: Pull request #4710 synchronize by PetarMax
December 12, 2024 11:17 46m 48s petar/kcfg-optimization
petar/kcfg-optimization
December 12, 2024 11:17 46m 48s