Skip to content

Actions: SSProve/ssprove

Actions

Nix CI for bundle 9.1

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-9.1.yml
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Hybrid Arguments Nix CI for bundle 9.1 #27: Pull request #101 synchronize by MarkusKL
15s
15s
Hybrid Arguments Nix CI for bundle 9.1 #26: Pull request #101 synchronize by MarkusKL
19s
19s
Hybrid Arguments Nix CI for bundle 9.1 #25: Pull request #101 synchronize by MarkusKL
20s
20s
Hybrid Arguments Nix CI for bundle 9.1 #24: Pull request #101 opened by MarkusKL
16s
16s
Merge pull request #100 from SSProve/dependabot Nix CI for bundle 9.1 #23: Commit 9b14e90 pushed by 4ever2
8m 18s main
main
8m 18s
Set up dependabot Nix CI for bundle 9.1 #22: Pull request #100 opened by 4ever2
7m 33s
7m 33s
Merge pull request #99 from SSProve/actions-deps Nix CI for bundle 9.1 #21: Commit a7d9c2f pushed by 4ever2
7m 48s main
main
7m 48s
Update actions dependencies Nix CI for bundle 9.1 #20: Pull request #99 synchronize by 4ever2
7m 28s actions-deps
actions-deps
7m 28s
Update actions dependencies Nix CI for bundle 9.1 #19: Pull request #99 synchronize by 4ever2
7m 20s
7m 20s
Update actions dependencies Nix CI for bundle 9.1 #18: Pull request #99 synchronize by 4ever2
8m 0s actions-deps
actions-deps
8m 0s
Update actions dependencies Nix CI for bundle 9.1 #17: Pull request #99 synchronize by 4ever2
8m 2s
8m 2s
Update actions dependencies Nix CI for bundle 9.1 #16: Pull request #99 opened by 4ever2
8m 20s actions-deps
actions-deps
8m 20s
Update actions dependencies Nix CI for bundle 9.1 #15: Pull request #99 opened by 4ever2
8m 39s
8m 39s
Hybrid arguments (WIP) Nix CI for bundle 9.1 #14: Pull request #95 synchronize by MarkusKL
47s
47s
Hybrid arguments (WIP) Nix CI for bundle 9.1 #13: Pull request #95 synchronize by MarkusKL
44s
44s
Merge pull request #98 from MarkusKL/remove-canonical-element-choice Nix CI for bundle 9.1 #12: Commit 4e851b7 pushed by 4ever2
3m 24s main
main
3m 24s
Lift requirement that choice_types have to be inhabited Nix CI for bundle 9.1 #11: Pull request #98 synchronize by MarkusKL
9m 17s
9m 17s
Lift requirement that choice_types have to be inhabited Nix CI for bundle 9.1 #10: Pull request #98 opened by MarkusKL
8m 17s
8m 17s
Merge pull request #97 from MarkusKL/simpler-nominal-semantics-proof Nix CI for bundle 9.1 #9: Commit 4091038 pushed by 4ever2
3m 18s main
main
3m 18s
Simpler nominal semantics proof Nix CI for bundle 9.1 #8: Pull request #97 synchronize by MarkusKL
8m 35s
8m 35s
Simpler nominal semantics proof Nix CI for bundle 9.1 #7: Pull request #97 opened by MarkusKL
9m 24s
9m 24s
Add some useful advantage properties Nix CI for bundle 9.1 #6: Pull request #83 synchronize by 4ever2
8m 25s
8m 25s
Merge pull request #91 from SSProve/coq-9.1 Nix CI for bundle 9.1 #5: Commit 6ec7d0d pushed by 4ever2
3m 16s main
main
3m 16s
Support Rocq 9.1 Nix CI for bundle 9.1 #4: Pull request #91 synchronize by 4ever2
8m 27s coq-9.1
coq-9.1
8m 27s
Support Rocq 9.1 Nix CI for bundle 9.1 #3: Pull request #91 synchronize by 4ever2
9m 35s coq-9.1
coq-9.1
9m 35s