Skip to content

Actions: AU-COBRA/ConCert

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update dependencies Build #639: Pull request #243 synchronize by 4ever2
June 18, 2024 22:47 52m 19s 4ever2:metacoq-1.3
4ever2:metacoq-1.3
June 18, 2024 22:47 52m 19s
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
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
Update dependencies (Coq 8.18) Build #631: Pull request #238 synchronize by 4ever2
December 29, 2023 17:24 49m 17s 4ever2:deps
4ever2:deps
December 29, 2023 17:24 49m 17s
Update dependencies (Coq 8.18) Build #630: Pull request #238 opened by 4ever2
December 29, 2023 17:02 4m 24s 4ever2:deps
4ever2:deps
December 29, 2023 17:02 4m 24s
Bump actions/upload-pages-artifact from 2 to 3 (#237) Build #629: Commit 83c9b58 pushed by 4ever2
December 29, 2023 16:21 23m 3s master
master
December 29, 2023 16:21 23m 3s
Bump actions/deploy-pages from 3 to 4 (#236) Build #628: Commit b8bc6ed pushed by 4ever2
December 29, 2023 16:20 43s master
master
December 29, 2023 16:20 43s
Bump actions/upload-pages-artifact from 2 to 3 Build #627: Pull request #237 opened by dependabot bot
December 25, 2023 06:54 17m 3s dependabot/github_actions/actions/upload-pages-artifact-3
dependabot/github_actions/actions/upload-pages-artifact-3
December 25, 2023 06:54 17m 3s
Bump actions/deploy-pages from 3 to 4 Build #626: Pull request #236 opened by dependabot bot
December 25, 2023 06:54 17m 15s dependabot/github_actions/actions/deploy-pages-4
dependabot/github_actions/actions/deploy-pages-4
December 25, 2023 06:54 17m 15s
Bump actions/upload-artifact from 3 to 4 (#235) Build #625: Commit 9ad99b2 pushed by 4ever2
December 18, 2023 14:25 23m 1s master
master
December 18, 2023 14:25 23m 1s
Bump actions/upload-artifact from 3 to 4 Build #624: Pull request #235 opened by dependabot bot
December 18, 2023 06:38 17m 21s dependabot/github_actions/actions/upload-artifact-4
dependabot/github_actions/actions/upload-artifact-4
December 18, 2023 06:38 17m 21s
Bump actions/deploy-pages from 2 to 3 (#234) Build #623: Commit a533f22 pushed by 4ever2
December 11, 2023 21:08 22m 57s master
master
December 11, 2023 21:08 22m 57s
Bump actions/deploy-pages from 2 to 3 Build #622: Pull request #234 opened by dependabot bot
December 11, 2023 06:51 17m 10s dependabot/github_actions/actions/deploy-pages-3
dependabot/github_actions/actions/deploy-pages-3
December 11, 2023 06:51 17m 10s
Fix MetaCoq utils imports (#233) Build #621: Commit af5318c pushed by 4ever2
October 24, 2023 08:42 37m 35s master
master
October 24, 2023 08:42 37m 35s
Fix MetaCoq utils imports Build #620: Pull request #233 opened by 4ever2
October 16, 2023 13:20 31m 2s 4ever2:fix-imports
4ever2:fix-imports
October 16, 2023 13:20 31m 2s
Bump actions/checkout from 3 to 4 (#232) Build #619: Commit b59ba8a pushed by 4ever2
September 11, 2023 10:40 40m 2s master
master
September 11, 2023 10:40 40m 2s
Bump actions/checkout from 3 to 4 Build #618: Pull request #232 opened by dependabot bot
September 11, 2023 06:59 23m 4s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
September 11, 2023 06:59 23m 4s