Skip to content

Actions: runtimeverification/k

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,059 workflow run results
1,059 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Run mvn verify with appropriate number of cores (#3790) Bump version and make master job #588: Commit 1dc1df7 pushed by rv-jenkins
November 3, 2023 14:02 1m 4s develop
develop
November 3, 2023 14:02 1m 4s
[DNM] Simplifying homebrew workflows Test PR #3436: Pull request #3788 synchronize by Baltoli
November 3, 2023 13:27 32m 29s macos-simpler
macos-simpler
November 3, 2023 13:27 32m 29s
Run mvn verify with appropriate number of cores Test PR #3435: Pull request #3790 synchronize by rv-jenkins
November 3, 2023 12:48 55m 36s num-cores
num-cores
November 3, 2023 12:48 55m 36s
K Framework Release v6.0.191 Release #941: prereleased by rv-jenkins
November 3, 2023 12:30 1h 18m 19s
November 3, 2023 12:30 1h 18m 19s
Set Version: 6.0.191 Master Push #575: Commit c722551 pushed by rv-jenkins
November 3, 2023 12:30 15s master
master
November 3, 2023 12:30 15s
Update dependency: deps/hs-backend-booster_release (#3787) Bump version and make master job #587: Commit 2c0e42e pushed by rv-jenkins
November 3, 2023 12:29 1m 4s develop
develop
November 3, 2023 12:29 1m 4s
Run mvn verify with appropriate number of cores Test PR #3434: Pull request #3790 synchronize by Baltoli
November 3, 2023 11:48 42m 49s num-cores
num-cores
November 3, 2023 11:48 42m 49s
[DNM] Simplifying homebrew workflows Test PR #3433: Pull request #3788 synchronize by Baltoli
November 3, 2023 11:44 22m 36s macos-simpler
macos-simpler
November 3, 2023 11:44 22m 36s
Update dependency: deps/hs-backend-booster_release Test PR #3432: Pull request #3787 synchronize by rv-jenkins
November 3, 2023 11:22 57m 12s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
November 3, 2023 11:22 57m 12s
Merge branch 'develop' into _update-deps/runtimeverification/hs-backe… Update Nix Flake Inputs #935: Commit 1150d04 pushed by rv-jenkins
November 3, 2023 11:22 1m 9s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
November 3, 2023 11:22 1m 9s
[DNM] Simplifying homebrew workflows Test PR #3431: Pull request #3788 synchronize by Baltoli
November 3, 2023 11:19 23m 2s macos-simpler
macos-simpler
November 3, 2023 11:19 23m 2s
Run mvn verify with appropriate number of cores Test PR #3430: Pull request #3790 opened by Baltoli
November 3, 2023 11:15 33m 57s num-cores
num-cores
November 3, 2023 11:15 33m 57s
[DNM] Simplifying homebrew workflows Test PR #3429: Pull request #3788 synchronize by Baltoli
November 3, 2023 10:19 22m 29s macos-simpler
macos-simpler
November 3, 2023 10:19 22m 29s
[DNM] Simplifying homebrew workflows Test PR #3428: Pull request #3788 synchronize by Baltoli
November 3, 2023 09:45 22m 14s macos-simpler
macos-simpler
November 3, 2023 09:45 22m 14s
[DNM] Simplifying homebrew workflows Test PR #3427: Pull request #3788 synchronize by Baltoli
November 3, 2023 09:41 24s macos-simpler
macos-simpler
November 3, 2023 09:41 24s
[DNM] Simplifying homebrew workflows Test PR #3426: Pull request #3788 synchronize by Baltoli
November 3, 2023 09:36 24s macos-simpler
macos-simpler
November 3, 2023 09:36 24s
[DNM] Simplifying homebrew workflows Test PR #3425: Pull request #3788 synchronize by Baltoli
November 3, 2023 09:35 22s macos-simpler
macos-simpler
November 3, 2023 09:35 22s
Avoid overlap of equations for Bool combinators simplifications Test PR #3424: Pull request #3789 edited by rv-jenkins
November 3, 2023 00:00 39m 37s jb/disambiguate-bool-combinator-rules-2
jb/disambiguate-bool-combinator-rules-2
November 3, 2023 00:00 39m 37s
Avoid overlap of equations for Bool combinators simplifications Test PR #300: Pull request #3789 opened by jberthold
November 3, 2023 00:00 26s jb/disambiguate-bool-combinator-rules-2
jb/disambiguate-bool-combinator-rules-2
November 3, 2023 00:00 26s
Declare all Bool combinator equations simplifications (to disambiguate cases) Test PR #3423: Pull request #3786 synchronize by jberthold
November 2, 2023 22:42 34m 22s jb/disambiguate-bool-combinator-rules
jb/disambiguate-bool-combinator-rules
November 2, 2023 22:42 34m 22s
[DNM] Simplifying homebrew workflows Test PR #3422: Pull request #3788 synchronize by Baltoli
November 2, 2023 22:38 18s macos-simpler
macos-simpler
November 2, 2023 22:38 18s
Declare all Bool combinator equations simplifications (to disambiguate cases) Test PR #3421: Pull request #3786 synchronize by jberthold
November 2, 2023 22:37 5m 13s jb/disambiguate-bool-combinator-rules
jb/disambiguate-bool-combinator-rules
November 2, 2023 22:37 5m 13s
[DNM] Simplifying homebrew workflows Test PR #3420: Pull request #3788 synchronize by Baltoli
November 2, 2023 22:37 18s macos-simpler
macos-simpler
November 2, 2023 22:37 18s
[DNM] Simplifying homebrew workflows Test PR #3419: Pull request #3788 synchronize by Baltoli
November 2, 2023 22:36 18s macos-simpler
macos-simpler
November 2, 2023 22:36 18s
[DNM] Simplifying homebrew workflows Test PR #3418: Pull request #3788 synchronize by Baltoli
November 2, 2023 22:34 23s macos-simpler
macos-simpler
November 2, 2023 22:34 23s