Skip to content

Actions: runtimeverification/scala-kore

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
48 workflow runs
48 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Help Release #10: Commit a4ccb09 pushed by Baltoli
March 5, 2024 21:20 1m 48s on-branch
on-branch
March 5, 2024 21:20 1m 48s
Bump version (#15) Release #9: Commit ea05fb7 pushed by Baltoli
March 5, 2024 21:17 1m 26s master
master
March 5, 2024 21:17 1m 26s
Bump version Test PR #13: Pull request #15 opened by Baltoli
March 5, 2024 21:17 1m 44s k-sub
k-sub
March 5, 2024 21:17 1m 44s
Bump version (#14) Release #8: Commit 054d3ce pushed by Baltoli
March 5, 2024 21:13 1m 16s master
master
March 5, 2024 21:13 1m 16s
Bump version Test PR #12: Pull request #14 opened by Baltoli
March 5, 2024 21:11 1m 38s proper-release
proper-release
March 5, 2024 21:11 1m 38s
Try cat Test PR #11: Pull request #13 synchronize by Baltoli
March 5, 2024 20:08 1m 36s on-branch
on-branch
March 5, 2024 20:08 1m 36s
Help Release #7: Commit 4974565 pushed by Baltoli
March 5, 2024 20:08 1m 34s on-branch
on-branch
March 5, 2024 20:08 1m 34s
Try cat Test PR #10: Pull request #13 synchronize by Baltoli
March 5, 2024 19:35 1m 42s on-branch
on-branch
March 5, 2024 19:35 1m 42s
Snap? Release #6: Commit 81716d2 pushed by Baltoli
March 5, 2024 19:35 1m 32s on-branch
on-branch
March 5, 2024 19:35 1m 32s
Try cat Test PR #9: Pull request #13 synchronize by Baltoli
March 5, 2024 19:31 1m 37s on-branch
on-branch
March 5, 2024 19:31 1m 37s
try k Release #5: Commit 45d0e0a pushed by Baltoli
March 5, 2024 19:31 1m 16s on-branch
on-branch
March 5, 2024 19:31 1m 16s
Try cat Test PR #8: Pull request #13 opened by Baltoli
March 5, 2024 19:06 1m 35s on-branch
on-branch
March 5, 2024 19:06 1m 35s
Try cat Release #4: Commit 51527ef pushed by Baltoli
March 5, 2024 19:06 1m 1s on-branch
on-branch
March 5, 2024 19:06 1m 1s
try snaps (#12) Release #3: Commit f21cc6b pushed by Baltoli
March 5, 2024 19:02 1m 28s master
master
March 5, 2024 19:02 1m 28s
try snaps Test PR #7: Pull request #12 synchronize by Baltoli
March 5, 2024 19:02 1m 49s snaps
snaps
March 5, 2024 19:02 1m 49s
try snaps Test PR #6: Pull request #12 opened by Baltoli
March 5, 2024 19:02 13s snaps
snaps
March 5, 2024 19:02 13s
Add readme (#11) Release #2: Commit ee84fbd pushed by Baltoli
March 5, 2024 18:59 1m 5s master
master
March 5, 2024 18:59 1m 5s
Add readme Test PR #5: Pull request #11 opened by Baltoli
March 5, 2024 18:59 1m 42s readme
readme
March 5, 2024 18:59 1m 42s
Do release on master push (#10) Release #1: Commit 0603496 pushed by Baltoli
March 5, 2024 18:51 1m 25s master
master
March 5, 2024 18:51 1m 25s
Do release on master push Test PR #4: Pull request #10 opened by Baltoli
March 5, 2024 18:49 1m 37s release
release
March 5, 2024 18:49 1m 37s
Run tests Test PR #3: Pull request #9 opened by Baltoli
March 5, 2024 17:34 1m 38s tests
tests
March 5, 2024 17:34 1m 38s
Tests Test PR #2: Pull request #8 synchronize by Baltoli
March 5, 2024 17:30 47s tests
tests
March 5, 2024 17:30 47s
Tests Test PR #1: Pull request #8 synchronize by Baltoli
March 5, 2024 17:29 1s tests
tests
March 5, 2024 17:29 1s