Skip to content

Actions: runtimeverification/k

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
860 workflow run results
860 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
K Framework Release v6.0.169 Release #917: prereleased by rv-jenkins
October 25, 2023 12:34 14m 46s
October 25, 2023 12:34 14m 46s
Set Version: 6.0.169 Master Push #553: Commit 2c8b119 pushed by rv-jenkins
October 25, 2023 12:22 12m 56s master
master
October 25, 2023 12:22 12m 56s
Apply Java 17 automatic migration: records (#3746) Bump version and make master job #561: Commit bcef71b pushed by rv-jenkins
October 25, 2023 12:21 47s develop
develop
October 25, 2023 12:21 47s
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
Pin nixpkgs to haskell-backend Test PR #296: Pull request #3754 opened by goodlyrottenapple
October 25, 2023 08:56 27s sam/pin-nixpkgs-to-haskell-backend
sam/pin-nixpkgs-to-haskell-backend
October 25, 2023 08:56 27s
K Framework Release v6.0.168 Release #916: prereleased by rv-jenkins
October 24, 2023 21:16 28m 55s
October 24, 2023 21:16 28m 55s
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
Set Version: 6.0.168 Master Push #552: Commit 1e35f58 pushed by rv-jenkins
October 24, 2023 21:03 13m 33s master
master
October 24, 2023 21:03 13m 33s
Update dependency: deps/hs-backend-booster_release (#3739) Bump version and make master job #560: Commit 45d3584 pushed by rv-jenkins
October 24, 2023 21:02 53s develop
develop
October 24, 2023 21:02 53s
K Framework Release v6.0.167 Release #915: prereleased by rv-jenkins
October 24, 2023 19:39 1h 23m 24s
October 24, 2023 19:39 1h 23m 24s
Set Version: 6.0.167 Master Push #551: Commit 2a5ab6f pushed by rv-jenkins
October 24, 2023 19:22 17m 23s master
master
October 24, 2023 19:22 17m 23s
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
Merge branch 'develop' into _update-deps/runtimeverification/hs-backe… Update Nix Flake Inputs #916: Commit 7321822 pushed by rv-jenkins
October 24, 2023 19:22 2m 10s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
October 24, 2023 19:22 2m 10s