Skip to content

Actions: martinberger/hol-c

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed CI script bug Scala CI #103: Commit 7f3a2a3 pushed by martinberger
August 11, 2024 03:54 1m 29s master
master
August 11, 2024 03:54 1m 29s
fixup! fixup! fixup! Updated Java version for CI Scala CI #102: Commit 6ab8db4 pushed by martinberger
August 11, 2024 03:36 1m 24s dev
dev
August 11, 2024 03:36 1m 24s
fixup! fixup! Updated Java version for CI Scala CI #101: Commit 486b724 pushed by martinberger
August 11, 2024 03:30 35s dev
dev
August 11, 2024 03:30 35s
fixup! Updated tools to latest version Scala CI #100: Commit 8ed51c0 pushed by martinberger
August 11, 2024 03:10 36s master
master
August 11, 2024 03:10 36s
Updated tools to latest version Scala CI #99: Commit e6f4932 pushed by martinberger
August 11, 2024 02:40 41s master
master
August 11, 2024 02:40 41s
Bumped sbt to latest version Scala CI #98: Commit 72e4932 pushed by martinberger
February 23, 2024 10:26 1m 44s master
master
February 23, 2024 10:26 1m 44s
Fixed dodgy whitespace and missing EOF newlines. Scala CI #97: Commit 461e402 pushed by martinberger
October 26, 2023 19:53 1m 56s master
master
October 26, 2023 19:53 1m 56s