Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #3568: Pull request #3817 synchronize by rv-jenkins
November 15, 2023 23:06 34m 3s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
November 15, 2023 23:06 34m 3s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #3567: Pull request #3817 opened by rv-jenkins
November 15, 2023 23:05 1m 39s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
November 15, 2023 23:05 1m 39s
Address IntelliJ warnings in Interface.scala Test PR #3566: Pull request #3816 edited by Scott-Guest
November 15, 2023 21:48 32m 46s interface-cleanup
interface-cleanup
November 15, 2023 21:48 32m 46s
Address IntelliJ warnings in Interface.scala Test PR #3565: Pull request #3816 edited by Scott-Guest
November 15, 2023 21:39 9m 16s interface-cleanup
interface-cleanup
November 15, 2023 21:39 9m 16s
Address IntelliJ warnings in Interface.scala Test PR #3564: Pull request #3816 opened by Scott-Guest
November 15, 2023 21:36 3m 33s interface-cleanup
interface-cleanup
November 15, 2023 21:36 3m 33s
Implement new sort inference algorithm Test PR #3563: Pull request #3673 synchronize by Scott-Guest
November 15, 2023 20:28 35m 10s new-type-inference
new-type-inference
November 15, 2023 20:28 35m 10s
Implement new sort inference algorithm Test PR #3562: Pull request #3673 synchronize by Scott-Guest
November 15, 2023 20:17 11m 11s new-type-inference
new-type-inference
November 15, 2023 20:17 11m 11s
Claim infer cell2 Test PR #3561: Pull request #3812 synchronize by radumereuta
November 15, 2023 19:56 34m 30s claim-infer-cell2
claim-infer-cell2
November 15, 2023 19:56 34m 30s
Claim infer cell2 Test PR #3560: Pull request #3812 synchronize by radumereuta
November 15, 2023 19:54 1m 36s claim-infer-cell2
claim-infer-cell2
November 15, 2023 19:54 1m 36s
Claim infer cell2 Test PR #3559: Pull request #3812 synchronize by radumereuta
November 15, 2023 19:29 19m 0s claim-infer-cell2
claim-infer-cell2
November 15, 2023 19:29 19m 0s
Update dependency: deps/hs-backend-booster_release Test PR #3558: Pull request #3815 synchronize by rv-jenkins
November 15, 2023 18:27 1h 9m 27s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
November 15, 2023 18:27 1h 9m 27s
Clean up cast insertion in TypeInferenceVisitor Test PR #3557: Pull request #3813 synchronize by rv-jenkins
November 15, 2023 16:02 56m 53s infer-sort-checks
infer-sort-checks
November 15, 2023 16:02 56m 53s
Update dependency: deps/hs-backend-booster_release Test PR #3556: Pull request #3815 synchronize by rv-jenkins
November 15, 2023 11:10 34m 13s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
November 15, 2023 11:10 34m 13s
Update dependency: deps/hs-backend-booster_release Test PR #3555: Pull request #3815 opened by rv-jenkins
November 15, 2023 11:08 2m 21s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
November 15, 2023 11:08 2m 21s
Add KItem subsorts to the disambiguation module when parsing programs Test PR #3554: Pull request #3814 opened by Scott-Guest
November 15, 2023 01:32 39m 12s disamb-kitem
disamb-kitem
November 15, 2023 01:32 39m 12s
Clean up cast insertion in TypeInferenceVisitor Test PR #3553: Pull request #3813 opened by Scott-Guest
November 15, 2023 01:04 38m 48s infer-sort-checks
infer-sort-checks
November 15, 2023 01:04 38m 48s
Claim infer cell2 Test PR #3552: Pull request #3812 opened by radumereuta
November 14, 2023 20:09 14m 47s claim-infer-cell2
claim-infer-cell2
November 14, 2023 20:09 14m 47s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #3551: Pull request #3811 synchronize by rv-jenkins
November 14, 2023 17:23 49m 46s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
November 14, 2023 17:23 49m 46s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #3550: Pull request #3811 synchronize by rv-jenkins
November 14, 2023 16:49 37m 9s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
November 14, 2023 16:49 37m 9s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #3549: Pull request #3811 opened by rv-jenkins
November 14, 2023 16:48 1m 31s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
November 14, 2023 16:48 1m 31s
Maven plugin for using google-java-format Test PR #3548: Pull request #3793 synchronize by rv-jenkins
November 14, 2023 16:03 43m 46s maven-google-format
maven-google-format
November 14, 2023 16:03 43m 46s
Add total to #let-bindings where LHS is a variable Test PR #3547: Pull request #3798 synchronize by rv-jenkins
November 14, 2023 12:04 45m 9s let-total
let-total
November 14, 2023 12:04 45m 9s
Add total to #let-bindings where LHS is a variable Test PR #3546: Pull request #3798 synchronize by Baltoli
November 14, 2023 11:07 47m 1s let-total
let-total
November 14, 2023 11:07 47m 1s
Add total to #let-bindings where LHS is a variable Test PR #3545: Pull request #3798 synchronize by Baltoli
November 14, 2023 11:00 7m 33s let-total
let-total
November 14, 2023 11:00 7m 33s
Update dependency: deps/hs-backend-booster_release Test PR #3544: Pull request #3808 synchronize by rv-jenkins
November 14, 2023 10:27 49m 14s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
November 14, 2023 10:27 49m 14s