Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implement new sort inference algorithm Test PR #3540: Pull request #3673 synchronize by Scott-Guest
November 13, 2023 21:19 14m 9s new-type-inference
new-type-inference
November 13, 2023 21:19 14m 9s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #3539: Pull request #3809 synchronize by rv-jenkins
November 13, 2023 20:07 47m 8s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
November 13, 2023 20:07 47m 8s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #3538: Pull request #3809 opened by rv-jenkins
November 13, 2023 20:06 1m 41s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
November 13, 2023 20:06 1m 41s
Add total to #let-bindings where LHS is a variable Test PR #3537: Pull request #3798 synchronize by Baltoli
November 13, 2023 19:54 59m 25s let-total
let-total
November 13, 2023 19:54 59m 25s
Maven plugin for using google-java-format Test PR #3536: Pull request #3793 synchronize by gtrepta
November 13, 2023 19:28 47m 2s maven-google-format
maven-google-format
November 13, 2023 19:28 47m 2s
Update dependency: deps/hs-backend-booster_release Test PR #3535: Pull request #3808 synchronize by rv-jenkins
November 13, 2023 18:54 53m 50s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
November 13, 2023 18:54 53m 50s
Remove unused strict field from ParseInModule Test PR #3534: Pull request #3807 synchronize by rv-jenkins
November 13, 2023 17:02 46m 42s parse-cleanup
parse-cleanup
November 13, 2023 17:02 46m 42s
Remove mavenix take 2 Test PR #3533: Pull request #3806 edited by goodlyrottenapple
November 13, 2023 11:32 1h 27m 23s sam/remove-mavenix
sam/remove-mavenix
November 13, 2023 11:32 1h 27m 23s
Remove mavenix take 2 Test PR #3532: Pull request #3806 synchronize by goodlyrottenapple
November 13, 2023 09:47 1h 14m 38s sam/remove-mavenix
sam/remove-mavenix
November 13, 2023 09:47 1h 14m 38s
Update dependency: deps/hs-backend-booster_release Test PR #3531: Pull request #3808 synchronize by rv-jenkins
November 12, 2023 22:50 1h 16m 36s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
November 12, 2023 22:50 1h 16m 36s
Update dependency: deps/hs-backend-booster_release Test PR #3530: Pull request #3808 opened by rv-jenkins
November 12, 2023 22:49 1m 24s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
November 12, 2023 22:49 1m 24s
Implement new sort inference algorithm Test PR #3529: Pull request #3673 synchronize by Scott-Guest
November 11, 2023 19:40 41s new-type-inference
new-type-inference
November 11, 2023 19:40 41s
Remove unused strict field from ParseInModule Test PR #3528: Pull request #3807 edited by Scott-Guest
November 11, 2023 19:25 33m 43s parse-cleanup
parse-cleanup
November 11, 2023 19:25 33m 43s
Remove unused strict field from ParseInModule Test PR #3527: Pull request #3807 edited by Scott-Guest
November 11, 2023 19:23 2m 35s parse-cleanup
parse-cleanup
November 11, 2023 19:23 2m 35s
Remove unused strict field from ParseInModule Test PR #3526: Pull request #3807 edited by Scott-Guest
November 11, 2023 17:46 32m 58s parse-cleanup
parse-cleanup
November 11, 2023 17:46 32m 58s
Remove unused strict field from ParseInModule Test PR #3525: Pull request #3807 edited by Scott-Guest
November 11, 2023 17:45 50s parse-cleanup
parse-cleanup
November 11, 2023 17:45 50s
Remove unused strict field from ParseInModule Test PR #3524: Pull request #3807 edited by Scott-Guest
November 11, 2023 17:45 16s parse-cleanup
parse-cleanup
November 11, 2023 17:45 16s
Remove unused strict field from ParseInModule Test PR #3523: Pull request #3807 synchronize by Scott-Guest
November 11, 2023 17:35 10m 50s parse-cleanup
parse-cleanup
November 11, 2023 17:35 10m 50s
Remove unused strict field from ParseInModule Test PR #3522: Pull request #3807 edited by Scott-Guest
November 11, 2023 17:34 42s parse-cleanup
parse-cleanup
November 11, 2023 17:34 42s
Remove unused strict field from ParseInModule Test PR #3521: Pull request #3807 edited by Scott-Guest
November 11, 2023 17:34 22s parse-cleanup
parse-cleanup
November 11, 2023 17:34 22s
Remove unused strict field from ParseInModule Test PR #3520: Pull request #3807 edited by Scott-Guest
November 11, 2023 17:33 37s parse-cleanup
parse-cleanup
November 11, 2023 17:33 37s
Remove unused strict field from ParseInModule Test PR #3519: Pull request #3807 edited by Scott-Guest
November 11, 2023 02:39 1h 6m 25s parse-cleanup
parse-cleanup
November 11, 2023 02:39 1h 6m 25s
Remove unused strict field from ParseInModule Test PR #3518: Pull request #3807 opened by Scott-Guest
November 11, 2023 00:33 1h 16m 18s parse-cleanup
parse-cleanup
November 11, 2023 00:33 1h 16m 18s
make Pattern implement Comparable and also have an Ordering instance Test PR #3517: Pull request #3804 synchronize by rv-jenkins
November 10, 2023 23:24 33m 19s pattern
pattern
November 10, 2023 23:24 33m 19s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #3516: Pull request #3803 synchronize by rv-jenkins
November 10, 2023 22:02 45m 37s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
November 10, 2023 22:02 45m 37s