Skip to content

Actions: AU-COBRA/ConCert

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
181 workflow runs
181 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refresh cache Refresh cache #58: Scheduled
April 29, 2024 01:56 1m 1s master
master
April 29, 2024 01:56 1m 1s
Refresh cache Refresh cache #57: Scheduled
April 22, 2024 01:55 45s master
master
April 22, 2024 01:55 45s
Refresh cache Refresh cache #56: Scheduled
April 15, 2024 03:50 47s master
master
April 15, 2024 03:50 47s
Refresh cache Refresh cache #55: Scheduled
April 8, 2024 01:54 43s master
master
April 8, 2024 01:54 43s
Refresh cache Refresh cache #54: Scheduled
April 1, 2024 01:59 1m 18s master
master
April 1, 2024 01:59 1m 18s
Refresh cache Refresh cache #53: Scheduled
March 25, 2024 01:52 45s master
master
March 25, 2024 01:52 45s
Refresh cache Refresh cache #52: Scheduled
March 18, 2024 01:50 47s master
master
March 18, 2024 01:50 47s
Refresh cache Refresh cache #51: Scheduled
March 11, 2024 01:50 51s master
master
March 11, 2024 01:50 51s
Refresh cache Refresh cache #50: Scheduled
March 4, 2024 02:03 40s master
master
March 4, 2024 02:03 40s
Refresh cache Refresh cache #49: Scheduled
February 26, 2024 01:52 1m 3s master
master
February 26, 2024 01:52 1m 3s
Refresh cache Refresh cache #48: Scheduled
February 19, 2024 01:51 50s master
master
February 19, 2024 01:51 50s
Refresh cache Refresh cache #47: Scheduled
February 12, 2024 01:51 44s master
master
February 12, 2024 01:51 44s
Refresh cache Refresh cache #46: Scheduled
February 5, 2024 01:54 47s master
master
February 5, 2024 01:54 47s
Refresh cache Refresh cache #45: Scheduled
January 29, 2024 01:50 40s master
master
January 29, 2024 01:50 40s
Bump actions/cache from 3 to 4 (#241) Build #638: Commit 8433cde pushed by 4ever2
January 22, 2024 13:34 22m 37s master
master
January 22, 2024 13:34 22m 37s
Bump actions/cache from 3 to 4 Build #637: Pull request #241 opened by dependabot bot
January 22, 2024 06:45 17m 47s dependabot/github_actions/actions/cache-4
dependabot/github_actions/actions/cache-4
January 22, 2024 06:45 17m 47s
Refresh cache Refresh cache #44: Scheduled
January 22, 2024 02:02 44s master
master
January 22, 2024 02:02 44s
Refresh cache Refresh cache #43: Scheduled
January 15, 2024 02:01 2m 30s master
master
January 15, 2024 02:01 2m 30s
Refresh cache Refresh cache #42: Scheduled
January 8, 2024 01:58 56s master
master
January 8, 2024 01:58 56s
Refresh cache Refresh cache #41: Scheduled
January 1, 2024 02:03 42s master
master
January 1, 2024 02:03 42s
Piggy bank smart contract improvements (#240) Build #636: Commit 9858610 pushed by 4ever2
December 29, 2023 20:56 21m 39s master
master
December 29, 2023 20:56 21m 39s
Piggy bank smart contract improvements Build #635: Pull request #240 opened by 4ever2
December 29, 2023 20:39 16m 17s 4ever2:piggy
4ever2:piggy
December 29, 2023 20:39 16m 17s
Misc fixes (#239) Build #634: Commit ceaccd7 pushed by 4ever2
December 29, 2023 20:04 22m 9s master
master
December 29, 2023 20:04 22m 9s
Misc fixes Build #633: Pull request #239 opened by 4ever2
December 29, 2023 19:46 16m 58s 4ever2:refactor
4ever2:refactor
December 29, 2023 19:46 16m 58s
Update dependencies (Coq 8.18) (#238) Build #632: Commit 918dd53 pushed by 4ever2
December 29, 2023 18:20 52m 0s master
master
December 29, 2023 18:20 52m 0s