Skip to content

Actions: SSProve/ssprove

Nix CI for bundle 8.19

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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