Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update scala kore parser to use multi-ary and and or everywhere Test PR #2965: Pull request #3678 synchronize by dwightguth
October 2, 2023 16:37 55m 12s and_or2
and_or2
October 2, 2023 16:37 55m 12s
kast --debug-tokens Test PR #2964: Pull request #3660 synchronize by radumereuta
October 2, 2023 15:06 1h 13m 50s showTokens
showTokens
October 2, 2023 15:06 1h 13m 50s
kast --debug-tokens Test PR #2963: Pull request #3660 synchronize by radumereuta
October 2, 2023 14:53 14m 3s showTokens
showTokens
October 2, 2023 14:53 14m 3s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #2962: Pull request #3685 synchronize by rv-jenkins
October 2, 2023 14:47 57m 1s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
October 2, 2023 14:47 57m 1s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #2961: Pull request #3685 opened by rv-jenkins
October 2, 2023 14:46 2m 19s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
October 2, 2023 14:46 2m 19s
update scala kore parser to use multi-ary and and or everywhere Test PR #2960: Pull request #3678 synchronize by dwightguth
October 2, 2023 14:38 1h 26m 41s and_or2
and_or2
October 2, 2023 14:38 1h 26m 41s
Implement new sort inference algorithm Test PR #2959: Pull request #3673 edited by Scott-Guest
October 1, 2023 21:12 22m 8s new-type-inference
new-type-inference
October 1, 2023 21:12 22m 8s
Implement new sort inference algorithm Test PR #2958: Pull request #3673 edited by Scott-Guest
October 1, 2023 21:10 1m 59s new-type-inference
new-type-inference
October 1, 2023 21:10 1m 59s
Implement new sort inference algorithm Test PR #2957: Pull request #3673 edited by Scott-Guest
October 1, 2023 20:44 25m 12s new-type-inference
new-type-inference
October 1, 2023 20:44 25m 12s
Implement new sort inference algorithm Test PR #2956: Pull request #3673 edited by Scott-Guest
October 1, 2023 20:39 5m 9s new-type-inference
new-type-inference
October 1, 2023 20:39 5m 9s
Implement new sort inference algorithm Test PR #2955: Pull request #3673 edited by Scott-Guest
October 1, 2023 19:57 31m 38s new-type-inference
new-type-inference
October 1, 2023 19:57 31m 38s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #2954: Pull request #3684 synchronize by rv-jenkins
September 30, 2023 14:22 17m 9s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
September 30, 2023 14:22 17m 9s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #2953: Pull request #3684 opened by rv-jenkins
September 30, 2023 14:20 2m 20s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
September 30, 2023 14:20 2m 20s
Ordering instance for Sentences (2) Test PR #2952: Pull request #3670 synchronize by rv-jenkins
September 30, 2023 00:04 33m 8s sentenceOrdering
sentenceOrdering
September 30, 2023 00:04 33m 8s
Packaging: Move version into lib/kframework Test PR #2951: Pull request #3683 opened by gtrepta
September 29, 2023 22:04 33m 46s version-file
version-file
September 29, 2023 22:04 33m 46s
update scala kore parser to use multi-ary and and or everywhere Test PR #2950: Pull request #3678 synchronize by dwightguth
September 29, 2023 17:21 39m 29s and_or2
and_or2
September 29, 2023 17:21 39m 29s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #2949: Pull request #3682 synchronize by rv-jenkins
September 29, 2023 16:08 43m 54s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
September 29, 2023 16:08 43m 54s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #2948: Pull request #3682 opened by rv-jenkins
September 29, 2023 16:06 2m 23s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
September 29, 2023 16:06 2m 23s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #2947: Pull request #3677 synchronize by rv-jenkins
September 29, 2023 15:00 39m 39s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
September 29, 2023 15:00 39m 39s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #2946: Pull request #3677 synchronize by rv-jenkins
September 29, 2023 14:58 2m 25s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
September 29, 2023 14:58 2m 25s
Update dependency: deps/hs-backend-booster_release Test PR #2945: Pull request #3681 synchronize by rv-jenkins
September 29, 2023 14:13 7m 1s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
September 29, 2023 14:13 7m 1s
Update dependency: deps/hs-backend-booster_release Test PR #2944: Pull request #3681 opened by rv-jenkins
September 29, 2023 14:11 2m 27s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
September 29, 2023 14:11 2m 27s
ProTip! You can narrow down the results and go further in time using created:<2023-09-29 or the other filters available.