Skip to content

Actions: SSProve/ssprove

Actions

Opam build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
opam-build.yml
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt CI to upcoming GitHub actions changes Opam build #17: Pull request #52 opened by 4ever2
January 14, 2025 21:08 37m 29s 4ever2:ci-fixes
4ever2:ci-fixes
January 14, 2025 21:08 37m 29s
Merge pull request #51 from 4ever2/nix Opam build #16: Commit 9114e44 pushed by 4ever2
December 18, 2024 10:15 9m 1s main
main
December 18, 2024 10:15 9m 1s
Avoid duplicate builds of mathcomp in CI Opam build #15: Pull request #51 synchronize by 4ever2
December 17, 2024 16:08 8m 44s 4ever2:nix
4ever2:nix
December 17, 2024 16:08 8m 44s
Avoid duplicate builds of mathcomp in CI Opam build #14: Pull request #51 opened by 4ever2
December 17, 2024 15:49 13m 30s 4ever2:nix
4ever2:nix
December 17, 2024 15:49 13m 30s
Merge pull request #50 from 4ever2/cachix Opam build #13: Commit 72294c1 pushed by 4ever2
December 17, 2024 14:56 40m 21s main
main
December 17, 2024 14:56 40m 21s
Configure SSProve nix cache Opam build #12: Pull request #50 opened by 4ever2
December 17, 2024 13:57 41m 22s 4ever2:cachix
4ever2:cachix
December 17, 2024 13:57 41m 22s
Merge pull request #49 from 4ever2/mathcomp-2.3.0 Opam build #11: Commit cb4a367 pushed by 4ever2
December 3, 2024 14:47 9m 42s main
main
December 3, 2024 14:47 9m 42s
Compatibility with mathcomp 2.3.0 Opam build #10: Pull request #49 opened by 4ever2
December 1, 2024 18:38 13m 2s 4ever2:mathcomp-2.3.0
4ever2:mathcomp-2.3.0
December 1, 2024 18:38 13m 2s
Merge pull request #48 from 4ever2/coq-8.20 Opam build #9: Commit d199572 pushed by 4ever2
November 27, 2024 13:23 8m 46s main
main
November 27, 2024 13:23 8m 46s
Coq 8.20 compatibility Opam build #8: Pull request #48 synchronize by 4ever2
November 26, 2024 21:25 8m 42s 4ever2:coq-8.20
4ever2:coq-8.20
November 26, 2024 21:25 8m 42s
Coq 8.20 compatibility Opam build #7: Pull request #48 synchronize by 4ever2
November 26, 2024 20:24 8m 49s 4ever2:coq-8.20
4ever2:coq-8.20
November 26, 2024 20:24 8m 49s
Coq 8.20 compatibility Opam build #6: Pull request #48 synchronize by 4ever2
November 26, 2024 17:48 13m 34s 4ever2:coq-8.20
4ever2:coq-8.20
November 26, 2024 17:48 13m 34s
Coq 8.20 compatibility Opam build #5: Pull request #48 opened by 4ever2
November 26, 2024 17:43 1m 12s 4ever2:coq-8.20
4ever2:coq-8.20
November 26, 2024 17:43 1m 12s
Merge pull request #43 from sertel/main Opam build #4: Commit df91382 pushed by 4ever2
November 26, 2024 16:48 36m 56s main
main
November 26, 2024 16:48 36m 56s
Nix flake suppport and CI Opam build #3: Pull request #43 synchronize by sertel
November 26, 2024 16:02 41m 49s sertel:main
sertel:main
November 26, 2024 16:02 41m 49s
Nix flake suppport and CI Opam build #2: Pull request #43 synchronize by sertel
August 12, 2024 11:32 8m 42s sertel:main
sertel:main
August 12, 2024 11:32 8m 42s
Nix flake suppport and CI Opam build #1: Pull request #43 opened by sertel
August 6, 2024 15:18 41m 29s sertel:main
sertel:main
August 6, 2024 15:18 41m 29s