Skip to content

Actions: SSProve/ssprove

Actions

Flake build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
flake-build.yml
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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