Skip to content

Actions: runtimeverification/k

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
724 workflow run results
724 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update nix install script (#3748) Bump version and make master job #559: Commit fcc48a4 pushed by rv-jenkins
October 24, 2023 19:22 53s develop
develop
October 24, 2023 19:22 53s
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
K Framework Release v6.0.166 Release #914: Release v6.0.166 prereleased by rv-jenkins
October 24, 2023 15:39 2h 1m 34s
October 24, 2023 15:39 2h 1m 34s
Set Version: 6.0.166 Master Push #550: Commit 4bc8fca pushed by rv-jenkins
October 24, 2023 15:26 13m 2s master
master
October 24, 2023 15:26 13m 2s
Apply Java migration: pattern variables (#3750) Bump version and make master job #558: Commit 227b989 pushed by rv-jenkins
October 24, 2023 15:26 50s develop
develop
October 24, 2023 15:26 50s
K Framework Release v6.0.165 Release #913: prereleased by rv-jenkins
October 24, 2023 14:55 1h 25m 19s
October 24, 2023 14:55 1h 25m 19s
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
Set Version: 6.0.165 Master Push #549: Commit 01b74fb pushed by rv-jenkins
October 24, 2023 14:43 11m 58s master
master
October 24, 2023 14:43 11m 58s
Revert to nix-community/mavenix in nix build (#3749) Bump version and make master job #557: Commit 18c190f pushed by rv-jenkins
October 24, 2023 14:43 53s develop
develop
October 24, 2023 14:43 53s
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
pages build and deployment pages-build-deployment #360: by rv-jenkins
October 24, 2023 13:48 51s gh-pages
gh-pages
October 24, 2023 13:48 51s
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
Revert to nix-community/mavenix in nix build Test PR #3222: Pull request #3749 edited by goodlyrottenapple
October 24, 2023 12:35 9m 27s sam/nix-no-copy-jars
sam/nix-no-copy-jars
October 24, 2023 12:35 9m 27s
Apply Java 17 automatic migration: records Test PR #3221: Pull request #3746 synchronize by Baltoli
October 24, 2023 12:18 10m 59s java-records
java-records
October 24, 2023 12:18 10m 59s
Revert to nix-community/mavenix in nix build Test PR #3220: Pull request #3749 synchronize by goodlyrottenapple
October 24, 2023 12:18 17m 40s sam/nix-no-copy-jars
sam/nix-no-copy-jars
October 24, 2023 12:18 17m 40s
Revert to nix-community/mavenix in nix build Test PR #3219: Pull request #3749 opened by goodlyrottenapple
October 24, 2023 12:01 17m 45s sam/nix-no-copy-jars
sam/nix-no-copy-jars
October 24, 2023 12:01 17m 45s
K Framework Release v6.0.164 Release #912: Release v6.0.164 prereleased by rv-jenkins
October 24, 2023 11:55 1h 53m 0s
October 24, 2023 11:55 1h 53m 0s
Set Version: 6.0.164 Master Push #548: Commit ece8bc7 pushed by rv-jenkins
October 24, 2023 11:43 11m 38s master
master
October 24, 2023 11:43 11m 38s
Apply Java 17 automatic migration: enhanced switch (#3745) Bump version and make master job #556: Commit 0bbfe47 pushed by rv-jenkins
October 24, 2023 11:43 52s develop
develop
October 24, 2023 11:43 52s