Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make bison parser enabled by default Test PR #3247: Pull request #3721 synchronize by dwightguth
October 25, 2023 19:19 6h 19m 59s bison-default
bison-default
October 25, 2023 19:19 6h 19m 59s
Make bison parser enabled by default Test PR #3246: Pull request #3721 synchronize by dwightguth
October 25, 2023 15:33 3h 47m 22s bison-default
bison-default
October 25, 2023 15:33 3h 47m 22s
Apply "silent code cleanup" from IntelliJ Test PR #3245: Pull request #3755 edited by Baltoli
October 25, 2023 15:03 37m 36s java-trivial
java-trivial
October 25, 2023 15:03 37m 36s
Apply "silent code cleanup" from IntelliJ Test PR #3244: Pull request #3755 synchronize by Baltoli
October 25, 2023 14:56 7m 6s java-trivial
java-trivial
October 25, 2023 14:56 7m 6s
Adopt Google Java style Test PR #3243: Pull request #3757 opened by Baltoli
October 25, 2023 14:52 32m 7s big-reformat
big-reformat
October 25, 2023 14:52 32m 7s
Apply "silent code cleanup" from IntelliJ Test PR #3242: Pull request #3755 synchronize by Baltoli
October 25, 2023 13:05 11m 19s java-trivial
java-trivial
October 25, 2023 13:05 11m 19s
Apply "silent code cleanup" from IntelliJ Test PR #3241: Pull request #3755 edited by Baltoli
October 25, 2023 10:27 33m 42s java-trivial
java-trivial
October 25, 2023 10:27 33m 42s
Apply "silent code cleanup" from IntelliJ Test PR #3240: Pull request #3755 opened by Baltoli
October 25, 2023 10:20 7m 48s java-trivial
java-trivial
October 25, 2023 10:20 7m 48s
Apply Java 17 automatic migration: records Test PR #3239: Pull request #3746 synchronize by Baltoli
October 25, 2023 09:57 39m 2s java-records
java-records
October 25, 2023 09:57 39m 2s
Pin nixpkgs to haskell-backend Test PR #3238: Pull request #3754 synchronize by goodlyrottenapple
October 25, 2023 09:51 55m 10s sam/pin-nixpkgs-to-haskell-backend
sam/pin-nixpkgs-to-haskell-backend
October 25, 2023 09:51 55m 10s
Apply Java 17 automatic migration: records Test PR #3237: Pull request #3746 synchronize by Baltoli
October 25, 2023 09:50 7m 40s java-records
java-records
October 25, 2023 09:50 7m 40s
Pin nixpkgs to haskell-backend Test PR #3236: Pull request #3754 synchronize by goodlyrottenapple
October 25, 2023 09:19 31m 56s sam/pin-nixpkgs-to-haskell-backend
sam/pin-nixpkgs-to-haskell-backend
October 25, 2023 09:19 31m 56s
Pin nixpkgs to haskell-backend Test PR #3235: Pull request #3754 edited by rv-jenkins
October 25, 2023 08:56 23m 58s sam/pin-nixpkgs-to-haskell-backend
sam/pin-nixpkgs-to-haskell-backend
October 25, 2023 08:56 23m 58s
Make bison parser enabled by default Test PR #3234: Pull request #3721 synchronize by dwightguth
October 24, 2023 21:11 6h 23m 20s bison-default
bison-default
October 24, 2023 21:11 6h 23m 20s
Update dependency: deps/hs-backend-booster_release Test PR #3233: Pull request #3739 synchronize by rv-jenkins
October 24, 2023 19:22 1h 30m 47s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
October 24, 2023 19:22 1h 30m 47s
Update nix install script Test PR #3232: Pull request #3748 synchronize by rv-jenkins
October 24, 2023 18:28 48m 6s sam/nix-install-script-update
sam/nix-install-script-update
October 24, 2023 18:28 48m 6s
Apply Java migration: pattern variables Test PR #3231: Pull request #3750 edited by Baltoli
October 24, 2023 14:49 36m 23s java-pattern-variable
java-pattern-variable
October 24, 2023 14:49 36m 23s
Apply Java migration: pattern variables Test PR #3230: Pull request #3750 synchronize by Baltoli
October 24, 2023 14:47 2m 37s java-pattern-variable
java-pattern-variable
October 24, 2023 14:47 2m 37s
Apply Java 17 automatic migration: records Test PR #3229: Pull request #3746 edited by Baltoli
October 24, 2023 14:38 57m 27s java-records
java-records
October 24, 2023 14:38 57m 27s
Apply Java 17 automatic migration: records Test PR #3228: Pull request #3746 synchronize by Baltoli
October 24, 2023 14:05 33m 29s java-records
java-records
October 24, 2023 14:05 33m 29s
Apply Java 17 automatic migration: records Test PR #3227: Pull request #3746 synchronize by Baltoli
October 24, 2023 13:01 41m 32s java-records
java-records
October 24, 2023 13:01 41m 32s
Revert to nix-community/mavenix in nix build Test PR #3226: Pull request #3749 edited by goodlyrottenapple
October 24, 2023 12:50 32m 57s sam/nix-no-copy-jars
sam/nix-no-copy-jars
October 24, 2023 12:50 32m 57s
Apply Java 17 automatic migration: records Test PR #3225: Pull request #3746 synchronize by Baltoli
October 24, 2023 12:49 12m 5s java-records
java-records
October 24, 2023 12:49 12m 5s
Revert to nix-community/mavenix in nix build Test PR #3224: Pull request #3749 edited by goodlyrottenapple
October 24, 2023 12:47 3m 32s sam/nix-no-copy-jars
sam/nix-no-copy-jars
October 24, 2023 12:47 3m 32s
Revert to nix-community/mavenix in nix build Test PR #3223: Pull request #3749 edited by goodlyrottenapple
October 24, 2023 12:44 2m 53s sam/nix-no-copy-jars
sam/nix-no-copy-jars
October 24, 2023 12:44 2m 53s