Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add int-simplification builtin Test PR #3393: Pull request #2840 synchronize by Baltoli
November 1, 2023 19:41 1h 4m 3s int-simplification
int-simplification
November 1, 2023 19:41 1h 4m 3s
update the version of a couple vulnerable dependencies Test PR #3392: Pull request #3775 synchronize by dwightguth
November 1, 2023 16:37 42m 20s deps2
deps2
November 1, 2023 16:37 42m 20s
Bump LLVM version in packaging to 15 Test PR #3391: Pull request #3783 edited by Baltoli
November 1, 2023 16:32 51m 40s llvm-15
llvm-15
November 1, 2023 16:32 51m 40s
Bump LLVM version in packaging to 15 Test PR #3390: Pull request #3783 synchronize by Baltoli
November 1, 2023 15:02 42m 31s llvm-15
llvm-15
November 1, 2023 15:02 42m 31s
Bump LLVM version in packaging to 15 Test PR #3389: Pull request #3783 edited by Baltoli
November 1, 2023 15:02 29s llvm-15
llvm-15
November 1, 2023 15:02 29s
Bump LLVM version in packaging to 15 Test PR #3388: Pull request #3783 edited by Baltoli
November 1, 2023 15:01 32s llvm-15
llvm-15
November 1, 2023 15:01 32s
Apply more automatic Java refactoring Test PR #3387: Pull request #3785 edited by Baltoli
November 1, 2023 14:58 47m 52s more-refactoring
more-refactoring
November 1, 2023 14:58 47m 52s
[DNM] Stack caching Test PR #3386: Pull request #3784 synchronize by Baltoli
November 1, 2023 14:27 28m 25s stack-cache
stack-cache
November 1, 2023 14:27 28m 25s
[DNM] Stack caching Test PR #3385: Pull request #3784 synchronize by Baltoli
November 1, 2023 14:23 4m 3s stack-cache
stack-cache
November 1, 2023 14:23 4m 3s
[DNM] Stack caching Test PR #3384: Pull request #3784 synchronize by Baltoli
November 1, 2023 14:20 3m 50s stack-cache
stack-cache
November 1, 2023 14:20 3m 50s
Apply more automatic Java refactoring Test PR #3383: Pull request #3785 synchronize by Baltoli
November 1, 2023 14:07 50m 54s more-refactoring
more-refactoring
November 1, 2023 14:07 50m 54s
Apply more automatic Java refactoring Test PR #3382: Pull request #3785 synchronize by Baltoli
November 1, 2023 14:04 1m 0s more-refactoring
more-refactoring
November 1, 2023 14:04 1m 0s
Apply more automatic Java refactoring Test PR #3381: Pull request #3785 synchronize by Baltoli
November 1, 2023 14:00 1m 27s more-refactoring
more-refactoring
November 1, 2023 14:00 1m 27s
Apply more automatic Java refactoring Test PR #3380: Pull request #3785 synchronize by Baltoli
November 1, 2023 13:42 17m 47s more-refactoring
more-refactoring
November 1, 2023 13:42 17m 47s
Apply more automatic Java refactoring Test PR #3379: Pull request #3785 synchronize by Baltoli
November 1, 2023 13:26 17m 18s more-refactoring
more-refactoring
November 1, 2023 13:26 17m 18s
Apply more automatic Java refactoring Test PR #3378: Pull request #3785 opened by Baltoli
November 1, 2023 13:22 54s more-refactoring
more-refactoring
November 1, 2023 13:22 54s
[DNM] Stack caching Test PR #3377: Pull request #3784 synchronize by Baltoli
November 1, 2023 12:57 1h 14m 23s stack-cache
stack-cache
November 1, 2023 12:57 1h 14m 23s
[DNM] Stack caching Test PR #3376: Pull request #3784 opened by Baltoli
November 1, 2023 12:51 6m 16s stack-cache
stack-cache
November 1, 2023 12:51 6m 16s
Adopt Google Java style Test PR #3375: Pull request #3757 synchronize by Baltoli
November 1, 2023 11:06 50m 15s big-reformat
big-reformat
November 1, 2023 11:06 50m 15s
Bump LLVM version in packaging to 15 Test PR #3374: Pull request #3783 synchronize by Baltoli
November 1, 2023 09:43 1h 6m 44s llvm-15
llvm-15
November 1, 2023 09:43 1h 6m 44s
Bump LLVM version in packaging to 15 Test PR #3373: Pull request #3783 opened by Baltoli
November 1, 2023 09:32 10m 48s llvm-15
llvm-15
November 1, 2023 09:32 10m 48s
Adopt Google Java style Test PR #3372: Pull request #3757 synchronize by Baltoli
November 1, 2023 09:19 34m 17s big-reformat
big-reformat
November 1, 2023 09:19 34m 17s
update the version of a couple vulnerable dependencies Test PR #3371: Pull request #3775 synchronize by rv-jenkins
October 31, 2023 15:43 47m 9s deps2
deps2
October 31, 2023 15:43 47m 9s
update the version of a couple vulnerable dependencies Test PR #3370: Pull request #3775 synchronize by dwightguth
October 31, 2023 15:01 42m 30s deps2
deps2
October 31, 2023 15:01 42m 30s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #3369: Pull request #3782 synchronize by rv-jenkins
October 31, 2023 13:08 23m 44s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
October 31, 2023 13:08 23m 44s