Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove #parseKORE Test PR #3759: Pull request #3850 edited by Scott-Guest
December 6, 2023 02:29 1m 52s parse-kore-no-more
parse-kore-no-more
December 6, 2023 02:29 1m 52s
Remove #parseKORE Test PR #3758: Pull request #3850 edited by Scott-Guest
December 6, 2023 02:25 4m 41s parse-kore-no-more
parse-kore-no-more
December 6, 2023 02:25 4m 41s
Remove #parseKORE Test PR #3757: Pull request #3850 opened by Scott-Guest
December 6, 2023 02:07 18m 55s parse-kore-no-more
parse-kore-no-more
December 6, 2023 02:07 18m 55s
Implement new sort inference algorithm Test PR #3756: Pull request #3673 synchronize by Scott-Guest
December 6, 2023 00:07 54m 56s new-type-inference
new-type-inference
December 6, 2023 00:07 54m 56s
Adopt scalafmt for Scala code style Test PR #3755: Pull request #3841 synchronize by Scott-Guest
December 5, 2023 23:04 46m 57s scalafmt
scalafmt
December 5, 2023 23:04 46m 57s
Update dependency: deps/hs-backend-booster_release Test PR #3754: Pull request #3844 synchronize by jberthold
December 5, 2023 22:41 1h 12m 30s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
December 5, 2023 22:41 1h 12m 30s
Update dependency: deps/hs-backend-booster_release Test PR #3753: Pull request #3844 synchronize by jberthold
December 5, 2023 22:41 26s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
December 5, 2023 22:41 26s
Update dependency: deps/hs-backend-booster_release Test PR #3752: Pull request #3844 synchronize by jberthold
December 5, 2023 22:12 29m 9s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
December 5, 2023 22:12 29m 9s
Adopt scalafmt for Scala code style Test PR #3751: Pull request #3841 synchronize by Scott-Guest
December 5, 2023 22:11 40m 25s scalafmt
scalafmt
December 5, 2023 22:11 40m 25s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #3750: Pull request #3847 synchronize by rv-jenkins
December 5, 2023 15:30 54m 48s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
December 5, 2023 15:30 54m 48s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #3749: Pull request #3847 opened by rv-jenkins
December 5, 2023 15:28 2m 7s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
December 5, 2023 15:28 2m 7s
Add more outdated warnings Test PR #3748: Pull request #3846 synchronize by radumereuta
December 5, 2023 12:06 43m 37s outdatedWarnings
outdatedWarnings
December 5, 2023 12:06 43m 37s
Add more outdated warnings Test PR #3747: Pull request #3846 opened by radumereuta
December 5, 2023 12:03 3m 34s outdatedWarnings
outdatedWarnings
December 5, 2023 12:03 3m 34s
Adopt scalafmt for Scala code style Test PR #3746: Pull request #3841 edited by Scott-Guest
December 5, 2023 02:54 42m 38s scalafmt
scalafmt
December 5, 2023 02:54 42m 38s
Adopt scalafmt for Scala code style Test PR #3745: Pull request #3841 edited by Scott-Guest
December 5, 2023 02:49 5m 19s scalafmt
scalafmt
December 5, 2023 02:49 5m 19s
Adopt scalafmt for Scala code style Test PR #3744: Pull request #3841 synchronize by Scott-Guest
December 5, 2023 02:47 2m 44s scalafmt
scalafmt
December 5, 2023 02:47 2m 44s
Adopt scalafmt for Scala code style Test PR #3743: Pull request #3841 edited by Scott-Guest
December 5, 2023 02:46 1m 58s scalafmt
scalafmt
December 5, 2023 02:46 1m 58s
Adopt scalafmt for Scala code style Test PR #3742: Pull request #3841 edited by Scott-Guest
December 5, 2023 02:41 5m 19s scalafmt
scalafmt
December 5, 2023 02:41 5m 19s
Adopt scalafmt for Scala code style Test PR #3741: Pull request #3841 synchronize by Scott-Guest
December 5, 2023 02:37 4m 22s scalafmt
scalafmt
December 5, 2023 02:37 4m 22s
Adopt scalafmt for Scala code style Test PR #3740: Pull request #3841 synchronize by Scott-Guest
December 5, 2023 02:00 38m 0s scalafmt
scalafmt
December 5, 2023 02:00 38m 0s
Adopt scalafmt for Scala code style Test PR #3739: Pull request #3841 synchronize by Scott-Guest
December 5, 2023 01:52 8m 44s scalafmt
scalafmt
December 5, 2023 01:52 8m 44s
Adopt scalafmt for Scala code style Test PR #3738: Pull request #3841 edited by Scott-Guest
December 5, 2023 01:49 3m 24s scalafmt
scalafmt
December 5, 2023 01:49 3m 24s
Adopt scalafmt for Scala code style Test PR #3737: Pull request #3841 edited by Scott-Guest
December 5, 2023 01:45 4m 22s scalafmt
scalafmt
December 5, 2023 01:45 4m 22s
Adopt scalafmt for Scala code style Test PR #3736: Pull request #3841 edited by Scott-Guest
December 5, 2023 01:45 20s scalafmt
scalafmt
December 5, 2023 01:45 20s
Adopt scalafmt for Scala code style Test PR #3735: Pull request #3841 edited by Scott-Guest
December 5, 2023 01:44 38s scalafmt
scalafmt
December 5, 2023 01:44 38s