Skip to content

Actions: SSProve/ssprove

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,250 workflow runs
1,250 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #59 from 4ever2/9.0 Nix CI for bundle 8.18 #48: Commit 461122d pushed by 4ever2
2m 30s main
main
2m 30s
Merge pull request #59 from 4ever2/9.0 Nix CI for bundle 9.0 #2: Commit 461122d pushed by 4ever2
22m 36s main
main
22m 36s
Merge pull request #59 from 4ever2/9.0 Flake build #32: Commit 461122d pushed by 4ever2
28m 39s main
main
28m 39s
Merge pull request #59 from 4ever2/9.0 Nix CI for bundle 8.19 #48: Commit 461122d pushed by 4ever2
2m 36s main
main
2m 36s
Build with Coq 9.0 in CI Nix CI for bundle MC-dev #1: Pull request #59 opened by 4ever2
20m 23s 4ever2:9.0
4ever2:9.0
20m 23s
Build with Coq 9.0 in CI Nix CI for bundle 8.18 #47: Pull request #59 opened by 4ever2
32m 48s 4ever2:9.0
4ever2:9.0
32m 48s
Build with Coq 9.0 in CI Opam build #31: Pull request #59 opened by 4ever2
10m 0s 4ever2:9.0
4ever2:9.0
10m 0s
Build with Coq 9.0 in CI Nix CI for bundle 8.19 #47: Pull request #59 opened by 4ever2
40m 55s 4ever2:9.0
4ever2:9.0
40m 55s
Build with Coq 9.0 in CI Nix CI for bundle 9.0 #1: Pull request #59 opened by 4ever2
33m 23s 4ever2:9.0
4ever2:9.0
33m 23s
Build with Coq 9.0 in CI Nix CI for bundle 8.20 #39: Pull request #59 opened by 4ever2
39m 15s 4ever2:9.0
4ever2:9.0
39m 15s
Build with Coq 9.0 in CI Flake build #31: Pull request #59 opened by 4ever2
28m 53s 4ever2:9.0
4ever2:9.0
28m 53s
Build with Coq 9.0 in CI Nix CI for bundle 8.19 #46: Pull request #59 opened by 4ever2
42m 17s
42m 17s
Build with Coq 9.0 in CI Nix CI for bundle 8.20 #38: Pull request #59 opened by 4ever2
39m 30s
39m 30s
Build with Coq 9.0 in CI Nix CI for bundle 8.18 #46: Pull request #59 opened by 4ever2
33m 17s
33m 17s
Add documentation, clarification and optimization of the joy of state separating proofs Flake build #30: Pull request #57 synchronize by ErVinuelas
29m 7s Add-documentation,-clarification-and-optimization-of-The-joy-of-state-separating-proofs
Add-documentation,-clarification-and-optimization-of-The-joy-of-state-separating-proofs
29m 7s
Add documentation, clarification and optimization of the joy of state separating proofs Opam build #30: Pull request #57 synchronize by ErVinuelas
9m 2s Add-documentation,-clarification-and-optimization-of-The-joy-of-state-separating-proofs
Add-documentation,-clarification-and-optimization-of-The-joy-of-state-separating-proofs
9m 2s
Add documentation, clarification and optimization of the joy of state separating proofs Nix CI for bundle 8.20 #37: Pull request #57 synchronize by ErVinuelas
11m 18s
11m 18s
Add documentation, clarification and optimization of the joy of state separating proofs Nix CI for bundle 8.19 #45: Pull request #57 synchronize by ErVinuelas
11m 5s
11m 5s
Add documentation, clarification and optimization of the joy of state separating proofs Nix CI for bundle 8.18 #45: Pull request #57 synchronize by ErVinuelas
11m 10s
11m 10s
Add documentation, clarification and optimization of the joy of state separating proofs Nix CI for bundle 8.20 #36: Pull request #57 synchronize by ErVinuelas
11m 8s
11m 8s
Add documentation, clarification and optimization of the joy of state separating proofs Nix CI for bundle 8.18 #44: Pull request #57 synchronize by ErVinuelas
11m 16s
11m 16s
Add documentation, clarification and optimization of the joy of state separating proofs Nix CI for bundle 8.19 #44: Pull request #57 synchronize by ErVinuelas
11m 8s
11m 8s
Add documentation, clarification and optimization of the joy of state separating proofs Nix CI for bundle 8.20 #35: Pull request #57 synchronize by ErVinuelas
3m 22s
3m 22s
Add documentation, clarification and optimization of the joy of state separating proofs Nix CI for bundle 8.18 #43: Pull request #57 synchronize by ErVinuelas
3m 19s
3m 19s
Add documentation, clarification and optimization of the joy of state separating proofs Nix CI for bundle 8.19 #43: Pull request #57 synchronize by ErVinuelas
3m 35s
3m 35s
ProTip! You can narrow down the results and go further in time using created:<2025-04-09 or the other filters available.