Skip to content

Actions: runtimeverification/k

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Drop Arch Linux and Debian packaging Test PR #3311: Pull request #3765 synchronize by Baltoli
October 27, 2023 09:48 38m 31s drop-arch-debian
drop-arch-debian
October 27, 2023 09:48 38m 31s
Add cachix binary cache publish step to release Test PR #3310: Pull request #3759 edited by goodlyrottenapple
October 27, 2023 09:47 1m 59s sam/cachix-binary
sam/cachix-binary
October 27, 2023 09:47 1m 59s
Drop Arch Linux and Debian packaging Test PR #3309: Pull request #3765 opened by Baltoli
October 27, 2023 09:46 23s drop-arch-debian
drop-arch-debian
October 27, 2023 09:46 23s
Add cachix binary cache publish step to release Test PR #3308: Pull request #3759 synchronize by goodlyrottenapple
October 27, 2023 09:45 2m 50s sam/cachix-binary
sam/cachix-binary
October 27, 2023 09:45 2m 50s
Add cachix binary cache publish step to release Test PR #3307: Pull request #3759 synchronize by goodlyrottenapple
October 27, 2023 09:45 16s sam/cachix-binary
sam/cachix-binary
October 27, 2023 09:45 16s
Set Version: 6.0.174 Master Push #558: Commit 5f141fe pushed by rv-jenkins
October 27, 2023 09:42 11m 30s master
master
October 27, 2023 09:42 11m 30s
Update README instructions (#3761) Bump version and make master job #566: Commit d81ecb8 pushed by rv-jenkins
October 27, 2023 09:42 55s develop
develop
October 27, 2023 09:42 55s
pages build and deployment pages-build-deployment #361: by rv-jenkins
October 27, 2023 09:33 50s gh-pages
gh-pages
October 27, 2023 09:33 50s
Move mac release CI to hosted ARM runners Test PR #3306: Pull request #3764 edited by Baltoli
October 27, 2023 09:29 24m 13s macos-faster
macos-faster
October 27, 2023 09:29 24m 13s
Move mac release CI to hosted ARM runners Test PR #3305: Pull request #3764 edited by Baltoli
October 27, 2023 09:25 4m 27s macos-faster
macos-faster
October 27, 2023 09:25 4m 27s
Move mac release CI to hosted ARM runners Test PR #3304: Pull request #3764 synchronize by Baltoli
October 27, 2023 09:24 1m 1s macos-faster
macos-faster
October 27, 2023 09:24 1m 1s
Move mac release CI to hosted ARM runners Test PR #3303: Pull request #3764 synchronize by Baltoli
October 27, 2023 08:51 31m 39s macos-faster
macos-faster
October 27, 2023 08:51 31m 39s
Some brew? Test PR #3302: Commit 426ec84 pushed by Baltoli
October 27, 2023 08:50 Failure macos-faster
macos-faster
October 27, 2023 08:50 Failure
Move mac release CI to hosted ARM runners Test PR #3301: Pull request #3764 synchronize by Baltoli
October 27, 2023 08:45 4m 42s macos-faster
macos-faster
October 27, 2023 08:45 4m 42s
Move mac release CI to hosted ARM runners Test PR #3300: Pull request #3764 synchronize by Baltoli
October 27, 2023 08:42 1m 12s macos-faster
macos-faster
October 27, 2023 08:42 1m 12s
Artifact Test PR #3299: Commit 72815d4 pushed by Baltoli
October 27, 2023 08:41 Failure macos-faster
macos-faster
October 27, 2023 08:41 Failure
Move mac release CI to hosted ARM runners Test PR #3298: Pull request #3764 opened by Baltoli
October 27, 2023 08:37 55s macos-faster
macos-faster
October 27, 2023 08:37 55s
Update README instructions Test PR #3297: Pull request #3761 synchronize by rv-jenkins
October 27, 2023 07:42 1h 42m 38s m1-build
m1-build
October 27, 2023 07:42 1h 42m 38s
K Framework Release v6.0.173 Release #921: Release v6.0.173 prereleased by rv-jenkins
October 27, 2023 07:20 2h 12m 48s
October 27, 2023 07:20 2h 12m 48s
Add cachix binary cache publish step to release Test PR #3296: Pull request #3759 synchronize by goodlyrottenapple
October 27, 2023 07:19 43m 6s sam/cachix-binary
sam/cachix-binary
October 27, 2023 07:19 43m 6s
Set Version: 6.0.173 Master Push #557: Commit 2f1423c pushed by rv-jenkins
October 27, 2023 07:03 17m 21s master
master
October 27, 2023 07:03 17m 21s
Update dependency: deps/hs-backend-booster_release (#3758) Bump version and make master job #565: Commit 0dbb96f pushed by rv-jenkins
October 27, 2023 07:02 1m 0s develop
develop
October 27, 2023 07:02 1m 0s
Update dependency: deps/hs-backend-booster_release Test PR #3295: Pull request #3758 synchronize by rv-jenkins
October 27, 2023 04:30 49m 44s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
October 27, 2023 04:30 49m 44s
flake.nix, flake.lock: update Update Nix Flake Inputs #923: Commit ff07248 pushed by rv-jenkins
October 27, 2023 04:30 1m 36s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
October 27, 2023 04:30 1m 36s
Update dependency: deps/hs-backend-booster_release Test PR #3294: Pull request #3758 synchronize by rv-jenkins
October 27, 2023 04:28 2m 10s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
October 27, 2023 04:28 2m 10s