Skip to content

Actions: runtimeverification/k

Actions

Bump version and make master job

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
develop.yml
107 workflow run results
107 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update dependency: llvm-backend/src/main/native/llvm-backend (#3791) Bump version and make master job #595: Commit 69ec6c3 pushed by rv-jenkins
November 7, 2023 16:51 3m 25s develop
develop
November 7, 2023 16:51 3m 25s
Update Bencher's version (#3792) Bump version and make master job #594: Commit 37f2a27 pushed by rv-jenkins
November 7, 2023 16:03 1m 15s develop
develop
November 7, 2023 16:03 1m 15s
Update Bencher's version Bump version and make master job #593: Pull request #3792 synchronize by Robertorosmaninho
November 7, 2023 14:51 1m 31s update-bencher
update-bencher
November 7, 2023 14:51 1m 31s
Fix version of mavenix (#3796) Bump version and make master job #592: Commit 83a7a93 pushed by goodlyrottenapple
November 7, 2023 14:31 51s develop
develop
November 7, 2023 14:31 51s
Hotfix for release workflow re. macOS / python (#3794) Bump version and make master job #591: Commit dd0c994 pushed by rv-jenkins
November 7, 2023 13:25 41s develop
develop
November 7, 2023 13:25 41s
Apply more automatic Java refactoring (#3785) Bump version and make master job #590: Commit 8b6ccbc pushed by rv-jenkins
November 6, 2023 18:03 57s develop
develop
November 6, 2023 18:03 57s
Avoid overlap of equations for Bool combinators simplifications (#3789) Bump version and make master job #589: Commit 3bd931b pushed by jberthold
November 5, 2023 23:18 51s develop
develop
November 5, 2023 23:18 51s
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
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
Update dependency: llvm-backend/src/main/native/llvm-backend (#3782) Bump version and make master job #586: Commit b1b22ea pushed by rv-jenkins
November 2, 2023 19:25 1m 5s develop
develop
November 2, 2023 19:25 1m 5s
Bump LLVM version in packaging to 15 (#3783) Bump version and make master job #585: Commit 47ee46f pushed by rv-jenkins
November 2, 2023 17:25 1m 7s develop
develop
November 2, 2023 17:25 1m 7s
update the version of a couple vulnerable dependencies (#3775) Bump version and make master job #584: Commit 12f92c2 pushed by rv-jenkins
November 1, 2023 17:24 55s develop
develop
November 1, 2023 17:24 55s
Adopt Google Java style (#3757) Bump version and make master job #583: Commit c523139 pushed by rv-jenkins
November 1, 2023 12:03 1m 3s develop
develop
November 1, 2023 12:03 1m 3s
Fix homebrew repo authentication (#3781) Bump version and make master job #582: Commit 885fe62 pushed by rv-jenkins
October 31, 2023 15:24 55s develop
develop
October 31, 2023 15:24 55s
Update dependency: deps/hs-backend-booster_release (#3769) Bump version and make master job #581: Commit cf7ae22 pushed by rv-jenkins
October 31, 2023 12:03 1m 3s develop
develop
October 31, 2023 12:03 1m 3s
Revert #3773 (#3779) Bump version and make master job #580: Commit 8365fa3 pushed by rv-jenkins
October 31, 2023 08:03 53s develop
develop
October 31, 2023 08:03 53s
Update release.yml (#3778) Bump version and make master job #579: Commit 5e83a56 pushed by rv-jenkins
October 31, 2023 06:30 48s develop
develop
October 31, 2023 06:30 48s
Finally remove PKGBUILD (#3773) Bump version and make master job #578: Commit 5c2cbe9 pushed by rv-jenkins
October 30, 2023 20:24 54s develop
develop
October 30, 2023 20:24 54s
Move homebrew mentions to new repository (#3776) Bump version and make master job #577: Commit ea0f614 pushed by rv-jenkins
October 30, 2023 18:26 50s develop
develop
October 30, 2023 18:26 50s
Update README to address missing dependency (#3774) Bump version and make master job #576: Commit aca49c8 pushed by rv-jenkins
October 30, 2023 16:03 59s develop
develop
October 30, 2023 16:03 59s
Fix release cachix action (#3772) Bump version and make master job #575: Commit 1bc6f24 pushed by rv-jenkins
October 30, 2023 15:03 2m 1s develop
develop
October 30, 2023 15:03 2m 1s
Revert experimental Homebrew changes (#3771) Bump version and make master job #574: Commit 038a5d4 pushed by rv-jenkins
October 30, 2023 14:03 53s develop
develop
October 30, 2023 14:03 53s
Temporary restore of arch PKGBUILD (#3770) Bump version and make master job #573: Commit c639152 pushed by rv-jenkins
October 30, 2023 12:30 49s develop
develop
October 30, 2023 12:30 49s
Add cachix binary cache publish step to release (#3759) Bump version and make master job #572: Commit 6d99be5 pushed by goodlyrottenapple
October 30, 2023 11:06 58s develop
develop
October 30, 2023 11:06 58s
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