Skip to content

Actions: SSProve/ssprove

Actions

Flake build

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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