Skip to content

Actions: runtimeverification/k

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Drop Arch Linux and Debian packaging (#3765) Bump version and make master job #571: Commit 415d82d pushed by rv-jenkins
October 27, 2023 23:23 53s develop
develop
October 27, 2023 23:23 53s
Drop Arch Linux and Debian packaging Test PR #3320: Pull request #3765 synchronize by ehildenb
October 27, 2023 22:33 48m 41s drop-arch-debian
drop-arch-debian
October 27, 2023 22:33 48m 41s
K Framework Release v6.0.178 Release #927: prereleased by rv-jenkins
October 27, 2023 18:15 39m 36s
October 27, 2023 18:15 39m 36s
Set Version: 6.0.178 Master Push #562: Commit 8701d60 pushed by rv-jenkins
October 27, 2023 18:03 12m 23s master
master
October 27, 2023 18:03 12m 23s
Clean up Homebrew after running commands (#3768) Bump version and make master job #570: Commit 8e0528b pushed by rv-jenkins
October 27, 2023 18:03 58s develop
develop
October 27, 2023 18:03 58s
Adopt Google Java style Test PR #3319: Pull request #3757 synchronize by Baltoli
October 27, 2023 17:31 43m 9s big-reformat
big-reformat
October 27, 2023 17:31 43m 9s
Clean up Homebrew after running commands Test PR #3318: Pull request #3768 opened by Baltoli
October 27, 2023 17:29 33m 2s brew-clean
brew-clean
October 27, 2023 17:29 33m 2s
K Framework Release v6.0.177 Release #926: prereleased by rv-jenkins
October 27, 2023 16:34 40m 38s
October 27, 2023 16:34 40m 38s
K Framework Release v6.0.177 Release #925: prereleased by rv-jenkins
October 27, 2023 15:03 13m 5s
October 27, 2023 15:03 13m 5s
Set Version: 6.0.177 Master Push #561: Commit 5c3ca5a pushed by rv-jenkins
October 27, 2023 14:45 10m 11s master
master
October 27, 2023 14:45 10m 11s
Fix for Homebrew bottle name on arm64 (#3767) Bump version and make master job #569: Commit 8452a4c pushed by rv-jenkins
October 27, 2023 14:45 1m 10s develop
develop
October 27, 2023 14:45 1m 10s
Fix for Homebrew bottle name on arm64 Test PR #3317: Pull request #3767 opened by Baltoli
October 27, 2023 13:46 52m 31s release-fix
release-fix
October 27, 2023 13:46 52m 31s
K Framework Release v6.0.176 Release #924: prereleased by rv-jenkins
October 27, 2023 13:36 28m 55s
October 27, 2023 13:36 28m 55s
Set Version: 6.0.176 Master Push #560: Commit 6293c1b pushed by rv-jenkins
October 27, 2023 13:24 11m 45s master
master
October 27, 2023 13:24 11m 45s
Install wget in release job (#3766) Bump version and make master job #568: Commit 5dc19b3 pushed by rv-jenkins
October 27, 2023 13:24 1m 3s develop
develop
October 27, 2023 13:24 1m 3s
Install wget in release job Test PR #3316: Pull request #3766 synchronize by Baltoli
October 27, 2023 11:59 1h 19m 31s wget-release
wget-release
October 27, 2023 11:59 1h 19m 31s
Install wget in release job Test PR #3315: Pull request #3766 opened by Baltoli
October 27, 2023 11:57 2m 13s wget-release
wget-release
October 27, 2023 11:57 2m 13s
pages build and deployment pages-build-deployment #362: by rv-jenkins
October 27, 2023 11:48 1m 5s gh-pages
gh-pages
October 27, 2023 11:48 1m 5s
K Framework Release v6.0.175 Release #923: prereleased by rv-jenkins
October 27, 2023 11:14 1h 20m 52s
October 27, 2023 11:14 1h 20m 52s
Set Version: 6.0.175 Master Push #559: Commit f851bc8 pushed by rv-jenkins
October 27, 2023 11:02 11m 30s master
master
October 27, 2023 11:02 11m 30s
Move mac release CI to hosted ARM runners (#3764) Bump version and make master job #567: Commit 261586e pushed by rv-jenkins
October 27, 2023 11:02 1m 7s develop
develop
October 27, 2023 11:02 1m 7s
Adopt Google Java style Test PR #3314: Pull request #3757 synchronize by Baltoli
October 27, 2023 10:06 55m 41s big-reformat
big-reformat
October 27, 2023 10:06 55m 41s
K Framework Release v6.0.174 Release #922: Release v6.0.174 prereleased by rv-jenkins
October 27, 2023 09:54 1h 54m 25s
October 27, 2023 09:54 1h 54m 25s
Move mac release CI to hosted ARM runners Test PR #3313: Pull request #3764 synchronize by Baltoli
October 27, 2023 09:53 53m 49s macos-faster
macos-faster
October 27, 2023 09:53 53m 49s
Add cachix binary cache publish step to release Test PR #3312: Pull request #3759 edited by goodlyrottenapple
October 27, 2023 09:49 34s sam/cachix-binary
sam/cachix-binary
October 27, 2023 09:49 34s