Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-pr.yml
1,972 workflow run results
1,972 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Minimizing branching constraints Test PR #5410: Pull request #4299 synchronize by PetarMax
May 14, 2024 22:27 35m 56s petar/minimizing-branching-constraints
petar/minimizing-branching-constraints
May 14, 2024 22:27 35m 56s
Update dependency: deps/llvm-backend_release Test PR #5409: Pull request #4341 synchronize by rv-jenkins
May 14, 2024 19:54 48m 8s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
May 14, 2024 19:54 48m 8s
Update dependency: deps/llvm-backend_release Test PR #5408: Pull request #4341 synchronize by rv-jenkins
May 14, 2024 19:52 2m 19s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
May 14, 2024 19:52 2m 19s
Parse regular expressions Test PR #5407: Pull request #4334 edited by Scott-Guest
May 14, 2024 19:41 35m 13s parse-regex
parse-regex
May 14, 2024 19:41 35m 13s
Parse regular expressions Test PR #5406: Pull request #4334 edited by Scott-Guest
May 14, 2024 19:41 29s parse-regex
parse-regex
May 14, 2024 19:41 29s
Parse regular expressions Test PR #5405: Pull request #4334 synchronize by Scott-Guest
May 14, 2024 19:39 1m 58s parse-regex
parse-regex
May 14, 2024 19:39 1m 58s
Parse regular expressions Test PR #5404: Pull request #4334 edited by Scott-Guest
May 14, 2024 19:32 8m 14s parse-regex
parse-regex
May 14, 2024 19:32 8m 14s
Parse regular expressions Test PR #5403: Pull request #4334 edited by Scott-Guest
May 14, 2024 19:29 2m 38s parse-regex
parse-regex
May 14, 2024 19:29 2m 38s
Parse regular expressions Test PR #5402: Pull request #4334 edited by Scott-Guest
May 14, 2024 19:29 44s parse-regex
parse-regex
May 14, 2024 19:29 44s
Parse regular expressions Test PR #5401: Pull request #4334 edited by Scott-Guest
May 14, 2024 19:28 48s parse-regex
parse-regex
May 14, 2024 19:28 48s
Parse regular expressions Test PR #5400: Pull request #4334 edited by Scott-Guest
May 14, 2024 19:27 1m 11s parse-regex
parse-regex
May 14, 2024 19:27 1m 11s
Parse regular expressions Test PR #5399: Pull request #4334 synchronize by Scott-Guest
May 14, 2024 17:37 17m 23s parse-regex
parse-regex
May 14, 2024 17:37 17m 23s
Parse regular expressions Test PR #5398: Pull request #4334 synchronize by Scott-Guest
May 14, 2024 16:40 36m 9s parse-regex
parse-regex
May 14, 2024 16:40 36m 9s
Enable SimpleSub type inference by default Test PR #5397: Pull request #4350 edited by Scott-Guest
May 14, 2024 16:24 36m 45s simplesub-default
simplesub-default
May 14, 2024 16:24 36m 45s
Enable SimpleSub type inference by default Test PR #5396: Pull request #4350 opened by Scott-Guest
May 14, 2024 16:23 20s simplesub-default
simplesub-default
May 14, 2024 16:23 20s
Parse regular expressions Test PR #5395: Pull request #4334 synchronize by Scott-Guest
May 14, 2024 16:05 35m 46s parse-regex
parse-regex
May 14, 2024 16:05 35m 46s
Simplify the initial state before computing it's definedness Test PR #5394: Pull request #4347 synchronize by anvacaru
May 14, 2024 16:01 37m 3s anvacaru/cterm_simplify
anvacaru/cterm_simplify
May 14, 2024 16:01 37m 3s
Reduce verbosity of the subsumption check message in pyk.proof.reachability Test PR #5393: Pull request #4348 synchronize by anvacaru
May 14, 2024 15:53 34m 16s anvacaru/implies-log
anvacaru/implies-log
May 14, 2024 15:53 34m 16s
Reduce verbosity of the subsumption check message in pyk.proof.reachability Test PR #5392: Pull request #4348 synchronize by anvacaru
May 14, 2024 15:24 5m 25s anvacaru/implies-log
anvacaru/implies-log
May 14, 2024 15:24 5m 25s
Reduce verbosity of the subsumption check message in pyk.proof.reachability Test PR #5391: Pull request #4348 synchronize by anvacaru
May 14, 2024 14:42 39m 36s anvacaru/implies-log
anvacaru/implies-log
May 14, 2024 14:42 39m 36s
Reduce verbosity of the subsumption check message in pyk.proof.reachability Test PR #5390: Pull request #4348 edited by rv-jenkins
May 14, 2024 14:39 1m 35s anvacaru/implies-log
anvacaru/implies-log
May 14, 2024 14:39 1m 35s
Simplify the initial state before computing it's definedness Test PR #5389: Pull request #4347 edited by rv-jenkins
May 14, 2024 14:31 39m 13s anvacaru/cterm_simplify
anvacaru/cterm_simplify
May 14, 2024 14:31 39m 13s
Simplify the initial state before computing it's definedness Test PR #5388: Pull request #4346 edited by rv-jenkins
May 14, 2024 14:26 39m 19s anvacaru/560
anvacaru/560
May 14, 2024 14:26 39m 19s
Add support for parallel Booster kompilation Test PR #5387: Pull request #4345 synchronize by tothtamas28
May 14, 2024 13:55 36m 44s kompile-backend-booster
kompile-backend-booster
May 14, 2024 13:55 36m 44s
pyk RPC: bug-report w/o dt dir Test PR #5386: Pull request #4340 synchronize by rv-jenkins
May 14, 2024 13:42 39m 21s jb/pyk-rpc-fixes
jb/pyk-rpc-fixes
May 14, 2024 13:42 39m 21s