Skip to content

Actions: SSProve/ssprove

Actions

Nix CI for bundle 8.20

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.20.yml
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #51 from 4ever2/nix Nix CI for bundle 8.20 #15: Commit 9114e44 pushed by 4ever2
December 18, 2024 10:15 11m 6s main
main
December 18, 2024 10:15 11m 6s
Avoid duplicate builds of mathcomp in CI Nix CI for bundle 8.20 #14: Pull request #51 synchronize by 4ever2
December 17, 2024 16:08 11m 18s 4ever2:nix
4ever2:nix
December 17, 2024 16:08 11m 18s
Avoid duplicate builds of mathcomp in CI Nix CI for bundle 8.20 #13: Pull request #51 synchronize by 4ever2
December 17, 2024 16:08 11m 25s
December 17, 2024 16:08 11m 25s
Avoid duplicate builds of mathcomp in CI Nix CI for bundle 8.20 #12: Pull request #51 opened by 4ever2
December 17, 2024 15:49 11m 24s 4ever2:nix
4ever2:nix
December 17, 2024 15:49 11m 24s
Avoid duplicate builds of mathcomp in CI Nix CI for bundle 8.20 #11: Pull request #51 opened by 4ever2
December 17, 2024 15:49 11m 28s
December 17, 2024 15:49 11m 28s
Merge pull request #50 from 4ever2/cachix Nix CI for bundle 8.20 #10: Commit 72294c1 pushed by 4ever2
December 17, 2024 14:56 34m 20s main
main
December 17, 2024 14:56 34m 20s
Configure SSProve nix cache Nix CI for bundle 8.20 #9: Pull request #50 opened by 4ever2
December 17, 2024 13:57 35m 21s 4ever2:cachix
4ever2:cachix
December 17, 2024 13:57 35m 21s
Configure SSProve nix cache Nix CI for bundle 8.20 #8: Pull request #50 opened by 4ever2
December 17, 2024 13:57 34m 10s
December 17, 2024 13:57 34m 10s
Merge pull request #49 from 4ever2/mathcomp-2.3.0 Nix CI for bundle 8.20 #7: Commit cb4a367 pushed by 4ever2
December 3, 2024 14:47 34m 38s main
main
December 3, 2024 14:47 34m 38s
Compatibility with mathcomp 2.3.0 Nix CI for bundle 8.20 #6: Pull request #49 opened by 4ever2
December 1, 2024 18:38 34m 39s
December 1, 2024 18:38 34m 39s
Merge pull request #48 from 4ever2/coq-8.20 Nix CI for bundle 8.20 #5: Commit d199572 pushed by 4ever2
November 27, 2024 13:23 34m 12s main
main
November 27, 2024 13:23 34m 12s
Coq 8.20 compatibility Nix CI for bundle 8.20 #4: Pull request #48 synchronize by 4ever2
November 26, 2024 21:25 34m 34s 4ever2:coq-8.20
4ever2:coq-8.20
November 26, 2024 21:25 34m 34s
Coq 8.20 compatibility Nix CI for bundle 8.20 #3: Pull request #48 synchronize by 4ever2
November 26, 2024 20:24 45s 4ever2:coq-8.20
4ever2:coq-8.20
November 26, 2024 20:24 45s
Coq 8.20 compatibility Nix CI for bundle 8.20 #2: Pull request #48 synchronize by 4ever2
November 26, 2024 17:48 36m 30s 4ever2:coq-8.20
4ever2:coq-8.20
November 26, 2024 17:48 36m 30s
Coq 8.20 compatibility Nix CI for bundle 8.20 #1: Pull request #48 opened by 4ever2
November 26, 2024 17:43 4m 36s 4ever2:coq-8.20
4ever2:coq-8.20
November 26, 2024 17:43 4m 36s