Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-pr.yml
297 workflow run results
297 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[DNM] Patched CI run to see what's wrong with the release Test PR #3097: Pull request #3707 synchronize by Baltoli
October 13, 2023 10:05 8m 31s fix-release
fix-release
October 13, 2023 10:05 8m 31s
[DNM] Patched CI run to see what's wrong with the release Test PR #3096: Pull request #3707 synchronize by Baltoli
October 13, 2023 09:50 15m 25s fix-release
fix-release
October 13, 2023 09:50 15m 25s
[DNM] Patched CI run to see what's wrong with the release Test PR #3095: Pull request #3707 synchronize by Baltoli
October 13, 2023 09:35 15m 16s fix-release
fix-release
October 13, 2023 09:35 15m 16s
[DNM] Patched CI run to see what's wrong with the release Test PR #3094: Pull request #3707 synchronize by Baltoli
October 13, 2023 08:56 36m 34s fix-release
fix-release
October 13, 2023 08:56 36m 34s
[DNM] Patched CI run to see what's wrong with the release Test PR #3093: Pull request #3707 synchronize by Baltoli
October 13, 2023 08:56 39s fix-release
fix-release
October 13, 2023 08:56 39s
[DNM] Patched CI run to see what's wrong with the release Test PR #3092: Pull request #3707 edited by rv-jenkins
October 13, 2023 08:55 Startup failure fix-release
fix-release
October 13, 2023 08:55 Startup failure
Finish all changes to the K frontend, LLVM backend, and Haskell backend relating to multi-ary \and/\or Test PR #3091: Pull request #3679 synchronize by dwightguth
October 12, 2023 16:27 45m 20s and_or3
and_or3
October 12, 2023 16:27 45m 20s
Finish all changes to the K frontend, LLVM backend, and Haskell backend relating to multi-ary \and/\or Test PR #3090: Pull request #3679 synchronize by dwightguth
October 12, 2023 16:07 20m 40s and_or3
and_or3
October 12, 2023 16:07 20m 40s
Move README from builtin Test PR #3089: Pull request #3701 synchronize by rv-jenkins
October 12, 2023 13:05 32m 53s fix3695-README-collision
fix3695-README-collision
October 12, 2023 13:05 32m 53s
Add option to print better parse errors Test PR #3088: Pull request #3700 edited by Baltoli
October 12, 2023 12:15 33m 34s better-parse-errors
better-parse-errors
October 12, 2023 12:15 33m 34s
Add option to print better parse errors Test PR #3087: Pull request #3700 edited by Baltoli
October 12, 2023 12:13 2m 50s better-parse-errors
better-parse-errors
October 12, 2023 12:13 2m 50s
Add option to print better parse errors Test PR #3086: Pull request #3700 edited by Baltoli
October 12, 2023 12:04 8m 47s better-parse-errors
better-parse-errors
October 12, 2023 12:04 8m 47s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #3085: Pull request #3693 synchronize by rv-jenkins
October 12, 2023 11:03 38m 59s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
October 12, 2023 11:03 38m 59s
Add option to print better parse errors Test PR #3084: Pull request #3700 synchronize by Baltoli
October 12, 2023 10:38 33m 8s better-parse-errors
better-parse-errors
October 12, 2023 10:38 33m 8s
Add option to print better parse errors Test PR #3083: Pull request #3700 synchronize by Baltoli
October 12, 2023 10:14 24m 55s better-parse-errors
better-parse-errors
October 12, 2023 10:14 24m 55s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #3082: Pull request #3693 synchronize by Baltoli
October 12, 2023 08:53 55m 48s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
October 12, 2023 08:53 55m 48s
Bump calibre version in release Test PR #3081: Pull request #3703 opened by Baltoli
October 12, 2023 08:41 26m 47s bump-calibre
bump-calibre
October 12, 2023 08:41 26m 47s
Update dependency: deps/hs-backend-booster_release Test PR #3080: Pull request #3681 synchronize by rv-jenkins
October 12, 2023 06:23 32m 53s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
October 12, 2023 06:23 32m 53s
Update dependency: deps/hs-backend-booster_release Test PR #3079: Pull request #3681 synchronize by Baltoli
October 12, 2023 06:21 2m 19s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
October 12, 2023 06:21 2m 19s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #3078: Pull request #3693 synchronize by rv-jenkins
October 11, 2023 21:03 40m 4s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
October 11, 2023 21:03 40m 4s
Use new Z3 image location Test PR #3077: Pull request #3702 synchronize by Baltoli
October 11, 2023 19:59 38m 24s z3-image-new
z3-image-new
October 11, 2023 19:59 38m 24s
Use new Z3 image location Test PR #3076: Pull request #3702 opened by Baltoli
October 11, 2023 19:04 19m 52s z3-image-new
z3-image-new
October 11, 2023 19:04 19m 52s
Update dependency: deps/hs-backend-booster_release Test PR #3075: Pull request #3681 edited by dwightguth
October 11, 2023 18:00 56m 3s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
October 11, 2023 18:00 56m 3s
Update dependency: deps/hs-backend-booster_release Test PR #3074: Pull request #3681 synchronize by dwightguth
October 11, 2023 17:58 3m 20s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
October 11, 2023 17:58 3m 20s
Add option to print better parse errors Test PR #3073: Pull request #3700 synchronize by Baltoli
October 11, 2023 16:45 15m 45s better-parse-errors
better-parse-errors
October 11, 2023 16:45 15m 45s