Skip to content

Actions: AU-COBRA/coq-rust-extraction

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
54 workflow runs
54 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #50 from AU-COBRA/dependabot/github_actions/cachix… Build #93: Commit ec2bdf1 pushed by 4ever2
March 24, 2025 20:03 33m 3s master
master
March 24, 2025 20:03 33m 3s
Bump cachix/cachix-action from 15 to 16 Build #92: Pull request #50 opened by dependabot bot
March 24, 2025 17:27 32m 37s dependabot/github_actions/cachix/cachix-action-16
dependabot/github_actions/cachix/cachix-action-16
March 24, 2025 17:27 32m 37s
Merge pull request #49 from AU-COBRA/dependabot/github_actions/cachix… Build #91: Commit 2f00db6 pushed by 4ever2
March 10, 2025 18:19 32m 54s master
master
March 10, 2025 18:19 32m 54s
Bump cachix/install-nix-action from 30 to 31 Build #90: Pull request #49 opened by dependabot bot
March 10, 2025 16:22 32m 43s dependabot/github_actions/cachix/install-nix-action-31
dependabot/github_actions/cachix/install-nix-action-31
March 10, 2025 16:22 32m 43s
Merge pull request #48 from AU-COBRA/deps-20 Build #89: Commit 6c0d8c9 pushed by 4ever2
January 29, 2025 18:17 26m 55s master
master
January 29, 2025 18:17 26m 55s
[8.20] Bump MetaCoq version Build #88: Pull request #48 synchronize by 4ever2
January 29, 2025 18:13 2m 18s deps-20
deps-20
January 29, 2025 18:13 2m 18s
[8.19] Bump MetaCoq version Build #87: Pull request #47 synchronize by 4ever2
January 29, 2025 18:11 1m 55s deps-19
deps-19
January 29, 2025 18:11 1m 55s
[8.20] Bump MetaCoq version Build #86: Pull request #48 opened by 4ever2
January 29, 2025 11:05 26m 16s deps-20
deps-20
January 29, 2025 11:05 26m 16s
[8.19] Bump MetaCoq version Build #85: Pull request #47 opened by 4ever2
January 29, 2025 11:05 30m 34s deps-19
deps-19
January 29, 2025 11:05 30m 34s
[8.19] Switch to bytestrings Build #84: Pull request #45 synchronize by 4ever2
January 28, 2025 20:22 30m 9s bytestring-19
bytestring-19
January 28, 2025 20:22 30m 9s
Merge pull request #44 from AU-COBRA/bytestring-20 Build #83: Commit 5c3059f pushed by 4ever2
January 28, 2025 19:15 2m 9s master
master
January 28, 2025 19:15 2m 9s
[8.19] Backport CI fixes Build #82: Pull request #46 opened by 4ever2
January 28, 2025 19:12 29m 47s backport-ci
backport-ci
January 28, 2025 19:12 29m 47s
[8.19] Switch to bytestrings Build #81: Pull request #45 opened by 4ever2
January 28, 2025 19:06 23s bytestring-19
bytestring-19
January 28, 2025 19:06 23s
[8.20] Switch to bytestrings Build #80: Pull request #44 opened by 4ever2
January 28, 2025 19:05 2m 12s bytestring-20
bytestring-20
January 28, 2025 19:05 2m 12s
Merge pull request #43 from AU-COBRA/CI Build #79: Commit c5d9cba pushed by 4ever2
January 14, 2025 13:34 2m 10s master
master
January 14, 2025 13:34 2m 10s
Use ubuntu-22.04 in CI Build #78: Pull request #43 opened by 4ever2
January 14, 2025 13:29 2m 8s CI
CI
January 14, 2025 13:29 2m 8s
Test CI on ubuntu-24.04 image Build #77: Pull request #42 opened by 4ever2
January 14, 2025 12:49 17s test-ci
test-ci
January 14, 2025 12:49 17s
Merge pull request #41 from AU-COBRA/CI Build #76: Commit 66311bd pushed by 4ever2
January 14, 2025 12:46 33m 20s master
master
January 14, 2025 12:46 33m 20s
Bump OCaml compiler version used in CI Build #75: Pull request #41 synchronize by 4ever2
January 14, 2025 12:42 2m 6s CI
CI
January 14, 2025 12:42 2m 6s
Bump OCaml compiler version used in CI Build #74: Pull request #41 opened by 4ever2
January 14, 2025 12:01 33m 48s CI
CI
January 14, 2025 12:01 33m 48s
Merge pull request #40 from AU-COBRA/coq20 Build #73: Commit 9906185 pushed by 4ever2
December 11, 2024 15:55 35m 16s master
master
December 11, 2024 15:55 35m 16s
Coq 8.20 compatibility Build #72: Pull request #40 synchronize by 4ever2
December 11, 2024 15:15 36m 10s coq20
coq20
December 11, 2024 15:15 36m 10s
Coq 8.20 compatibility Build #71: Pull request #40 synchronize by 4ever2
December 11, 2024 15:13 45s coq20
coq20
December 11, 2024 15:13 45s
Coq 8.20 compatibility Build #70: Pull request #40 synchronize by 4ever2
December 11, 2024 15:06 4m 0s coq20
coq20
December 11, 2024 15:06 4m 0s
Merge pull request #39 from AU-COBRA/dependabot/github_actions/cachix… Build #69: Commit 0a8518b pushed by 4ever2
October 7, 2024 16:58 1m 53s master
master
October 7, 2024 16:58 1m 53s