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

Upgrade to Scala 2.13 (#21) Release #18: Commit 8442149 pushed by Scott-Guest
April 9, 2024 14:23 1m 58s master
master
April 9, 2024 14:23 1m 58s
Upgrade to Scala 2.13 Test PR #30: Pull request #21 synchronize by rv-jenkins
April 9, 2024 13:23 1m 56s scala-2.13
scala-2.13
April 9, 2024 13:23 1m 56s
Upgrade to Scala 2.13 Test PR #29: Pull request #21 opened by Scott-Guest
April 9, 2024 13:23 19s scala-2.13
scala-2.13
April 9, 2024 13:23 19s
Add release workflow (#20) Release #17: Commit 10fe492 pushed by rv-jenkins
March 14, 2024 11:43 1m 28s master
master
March 14, 2024 11:43 1m 28s
Add release workflow Test PR #28: Pull request #20 synchronize by Baltoli
March 14, 2024 11:24 1m 55s tag-release
tag-release
March 14, 2024 11:24 1m 55s
Add release workflow Test PR #27: Pull request #20 synchronize by rv-jenkins
March 14, 2024 10:29 1m 52s tag-release
tag-release
March 14, 2024 10:29 1m 52s
Add release workflow Test PR #26: Pull request #20 synchronize by Baltoli
March 14, 2024 10:28 40s tag-release
tag-release
March 14, 2024 10:28 40s
Add release workflow Test PR #25: Pull request #20 synchronize by rv-jenkins
March 14, 2024 10:27 1m 20s tag-release
tag-release
March 14, 2024 10:27 1m 20s
Add release workflow Test PR #24: Pull request #20 opened by Baltoli
March 14, 2024 10:27 21s tag-release
tag-release
March 14, 2024 10:27 21s
Add version bumping script + action (#17) Release #16: Commit fcc43f2 pushed by rv-jenkins
March 7, 2024 09:43 1m 26s master
master
March 7, 2024 09:43 1m 26s
Add version bumping script + action Test PR #23: Pull request #17 synchronize by rv-jenkins
March 6, 2024 21:14 1m 48s version-bump
version-bump
March 6, 2024 21:14 1m 48s
Add version bumping script + action Test PR #22: Pull request #17 synchronize by Baltoli
March 6, 2024 21:12 20s version-bump
version-bump
March 6, 2024 21:12 20s
Better name (#19) Release #15: Commit 012562f pushed by Baltoli
March 6, 2024 12:54 1m 28s master
master
March 6, 2024 12:54 1m 28s
Package rename Test PR #21: Pull request #19 synchronize by Baltoli
March 6, 2024 12:54 1m 30s package-rename
package-rename
March 6, 2024 12:54 1m 30s
Add version bumping script + action Test PR #20: Pull request #17 synchronize by Baltoli
March 6, 2024 12:41 11s version-bump
version-bump
March 6, 2024 12:41 11s
Change package name (#18) Release #14: Commit 3235334 pushed by Baltoli
March 6, 2024 12:40 1m 27s master
master
March 6, 2024 12:40 1m 27s
Change package name Test PR #19: Pull request #18 opened by Baltoli
March 6, 2024 12:40 1m 49s package-rename
package-rename
March 6, 2024 12:40 1m 49s
Add version bumping script + action Test PR #18: Pull request #17 synchronize by Baltoli
March 6, 2024 09:47 12s version-bump
version-bump
March 6, 2024 09:47 12s
Add version bumping script + action Test PR #17: Pull request #17 synchronize by Baltoli
March 6, 2024 09:43 11s version-bump
version-bump
March 6, 2024 09:43 11s
Add version bumping script + action Test PR #16: Pull request #17 opened by Baltoli
March 6, 2024 09:32 12s version-bump
version-bump
March 6, 2024 09:32 12s
Add static version file (#16) Release #13: Commit 9674ab6 pushed by Baltoli
March 6, 2024 09:26 1m 26s master
master
March 6, 2024 09:26 1m 26s
Add static version file Test PR #15: Pull request #16 opened by Baltoli
March 6, 2024 09:22 1m 37s versioning
versioning
March 6, 2024 09:22 1m 37s
Try cat (#13) Release #12: Commit ace4790 pushed by Baltoli
March 5, 2024 21:26 1m 26s master
master
March 5, 2024 21:26 1m 26s
Try cat Test PR #14: Pull request #13 synchronize by Baltoli
March 5, 2024 21:26 1m 37s on-branch
on-branch
March 5, 2024 21:26 1m 37s
Release version? Release #11: Commit ffc7644 pushed by Baltoli
March 5, 2024 21:23 1m 7s on-branch
on-branch
March 5, 2024 21:23 1m 7s