Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add option to print better parse errors Test PR #3072: Pull request #3700 synchronize by Baltoli
October 11, 2023 16:44 50s better-parse-errors
better-parse-errors
October 11, 2023 16:44 50s
Add option to print better parse errors Test PR #3071: Pull request #3700 synchronize by Baltoli
October 11, 2023 14:48 52m 14s better-parse-errors
better-parse-errors
October 11, 2023 14:48 52m 14s
Move README from builtin Test PR #3070: Pull request #3701 opened by radumereuta
October 11, 2023 14:46 32m 32s fix3695-README-collision
fix3695-README-collision
October 11, 2023 14:46 32m 32s
Add option to print better parse errors Test PR #3069: Pull request #3700 edited by rv-jenkins
October 11, 2023 14:37 10m 29s better-parse-errors
better-parse-errors
October 11, 2023 14:37 10m 29s
Update dependency: deps/hs-backend-booster_release Test PR #3068: Pull request #3681 synchronize by dwightguth
October 10, 2023 19:49 55m 26s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
October 10, 2023 19:49 55m 26s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #3067: Pull request #3693 synchronize by rv-jenkins
October 10, 2023 19:43 1h 4m 14s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
October 10, 2023 19:43 1h 4m 14s
Update dependency: deps/hs-backend-booster_release Test PR #3066: Pull request #3681 synchronize by dwightguth
October 10, 2023 19:05 43m 20s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
October 10, 2023 19:05 43m 20s
Remove focal image usage Test PR #3065: Pull request #3600 synchronize by Robertorosmaninho
October 10, 2023 18:50 36m 24s remove-focal
remove-focal
October 10, 2023 18:50 36m 24s
Remove focal image usage Test PR #3064: Pull request #3600 synchronize by Robertorosmaninho
October 10, 2023 18:48 1m 38s remove-focal
remove-focal
October 10, 2023 18:48 1m 38s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #3063: Pull request #3693 synchronize by rv-jenkins
October 10, 2023 18:44 48m 16s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
October 10, 2023 18:44 48m 16s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #3062: Pull request #3693 synchronize by rv-jenkins
October 10, 2023 18:42 2m 29s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
October 10, 2023 18:42 2m 29s
Remove focal image usage Test PR #3061: Pull request #3600 synchronize by Robertorosmaninho
October 10, 2023 18:38 10m 41s remove-focal
remove-focal
October 10, 2023 18:38 10m 41s
Update dependency: deps/hs-backend-booster_release Test PR #3060: Pull request #3681 synchronize by rv-jenkins
October 10, 2023 18:32 24m 49s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
October 10, 2023 18:32 24m 49s
Update dependency: deps/hs-backend-booster_release Test PR #3059: Pull request #3681 synchronize by rv-jenkins
October 10, 2023 18:29 4m 11s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
October 10, 2023 18:29 4m 11s
KProve: --infer-k-cell option Test PR #3058: Pull request #3663 synchronize by gtrepta
October 10, 2023 18:18 57m 33s claim-infer-cells
claim-infer-cells
October 10, 2023 18:18 57m 33s
Update dependency: deps/hs-backend-booster_release Test PR #3057: Pull request #3681 synchronize by dwightguth
October 10, 2023 18:01 20m 13s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
October 10, 2023 18:01 20m 13s
Update dependency: deps/hs-backend-booster_release Test PR #3056: Pull request #3681 synchronize by rv-jenkins
October 10, 2023 15:59 33m 50s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
October 10, 2023 15:59 33m 50s
Update dependency: deps/hs-backend-booster_release Test PR #3055: Pull request #3681 synchronize by rv-jenkins
October 10, 2023 15:58 2m 23s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
October 10, 2023 15:58 2m 23s
Update dependency: deps/hs-backend-booster_release Test PR #3054: Pull request #3681 synchronize by rv-jenkins
October 10, 2023 11:23 19m 50s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
October 10, 2023 11:23 19m 50s
Use macos-13 everywhere Test PR #3053: Pull request #3697 opened by Baltoli
October 10, 2023 08:42 40m 13s macos-inconsistent
macos-inconsistent
October 10, 2023 08:42 40m 13s
Update dependency: deps/hs-backend-booster_release Test PR #3052: Pull request #3681 synchronize by rv-jenkins
October 9, 2023 16:03 23m 38s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
October 9, 2023 16:03 23m 38s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #3051: Pull request #3693 synchronize by rv-jenkins
October 9, 2023 15:48 1h 1m 29s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
October 9, 2023 15:48 1h 1m 29s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #3050: Pull request #3693 synchronize by rv-jenkins
October 9, 2023 15:47 2m 8s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
October 9, 2023 15:47 2m 8s
Point to new release.nix upload action Test PR #3049: Pull request #3696 opened by Baltoli
October 9, 2023 13:03 52m 3s fix-nix-release
fix-nix-release
October 9, 2023 13:03 52m 3s
Update dependency: deps/hs-backend-booster_release Test PR #3048: Pull request #3681 synchronize by rv-jenkins
October 9, 2023 10:32 26m 13s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
October 9, 2023 10:32 26m 13s