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
182 workflow runs
182 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Hybrid arguments (WIP) Nix CI for bundle 8.20 #182: Pull request #95 synchronize by MarkusKL
9m 13s
9m 13s
Merge pull request #98 from MarkusKL/remove-canonical-element-choice Nix CI for bundle 8.20 #181: Commit 4e851b7 pushed by 4ever2
2m 31s main
main
2m 31s
Lift requirement that choice_types have to be inhabited Nix CI for bundle 8.20 #180: Pull request #98 synchronize by MarkusKL
8m 8s
8m 8s
Lift requirement that choice_types have to be inhabited Nix CI for bundle 8.20 #179: Pull request #98 opened by MarkusKL
8m 21s
8m 21s
Merge pull request #97 from MarkusKL/simpler-nominal-semantics-proof Nix CI for bundle 8.20 #178: Commit 4091038 pushed by 4ever2
2m 25s main
main
2m 25s
Simpler nominal semantics proof Nix CI for bundle 8.20 #177: Pull request #97 synchronize by MarkusKL
8m 47s
8m 47s
Simpler nominal semantics proof Nix CI for bundle 8.20 #176: Pull request #97 opened by MarkusKL
8m 53s
8m 53s
Add some useful advantage properties Nix CI for bundle 8.20 #175: Pull request #83 synchronize by 4ever2
8m 28s
8m 28s
Merge pull request #91 from SSProve/coq-9.1 Nix CI for bundle 8.20 #174: Commit 6ec7d0d pushed by 4ever2
2m 34s main
main
2m 34s
Support Rocq 9.1 Nix CI for bundle 8.20 #173: Pull request #91 synchronize by 4ever2
25m 31s coq-9.1
coq-9.1
25m 31s
Support Rocq 9.1 Nix CI for bundle 8.20 #172: Pull request #91 synchronize by 4ever2
25m 51s
25m 51s
Merge pull request #96 from pi8027/mc1433 Nix CI for bundle 8.20 #171: Commit c2e501a pushed by 4ever2
9m 21s main
main
9m 21s
Adapt to math-comp/math-comp#1433 Nix CI for bundle 8.20 #170: Pull request #96 opened by pi8027
9m 31s
9m 31s
Hybrid arguments (WIP) Nix CI for bundle 8.20 #169: Pull request #95 opened by MarkusKL
9m 17s
9m 17s
Support Rocq 9.1 Nix CI for bundle 8.20 #168: Pull request #91 synchronize by 4ever2
8m 13s coq-9.1
coq-9.1
8m 13s
Support Rocq 9.1 Nix CI for bundle 8.20 #167: Pull request #91 synchronize by 4ever2
8m 12s
8m 12s
Support Rocq 9.1 Nix CI for bundle 8.20 #166: Pull request #91 synchronize by 4ever2
8m 35s
8m 35s
Merge pull request #94 from MarkusKL/add-nssp-readme Nix CI for bundle 8.20 #165: Commit 5eb8a53 pushed by 4ever2
2m 24s main
main
2m 24s
Add NSSP paper to README.md Nix CI for bundle 8.20 #164: Pull request #94 synchronize by MarkusKL
8m 35s
8m 35s
Add NSSP paper to README.md Nix CI for bundle 8.20 #163: Pull request #94 opened by MarkusKL
8m 24s
8m 24s
Merge pull request #93 from SSProve/update_to_use_the_new_chList Nix CI for bundle 8.20 #162: Commit b57e83e pushed by ErVinuelas
8m 32s main
main
8m 32s
Update to use the new chList Nix CI for bundle 8.20 #161: Pull request #93 synchronize by ErVinuelas
8m 44s
8m 44s
Update to use the new chList Nix CI for bundle 8.20 #160: Pull request #93 synchronize by ErVinuelas
8m 24s
8m 24s
Update to use the new chList Nix CI for bundle 8.20 #159: Pull request #93 opened by ErVinuelas
6m 40s
6m 40s
Merge pull request #85 from SSProve/drop-19 Nix CI for bundle 8.20 #158: Commit 36c4e1c pushed by 4ever2
8m 53s main
main
8m 53s