Skip to content

Actions: mattam82/Coq-Equations

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
177 workflow runs
177 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #688 from TDiazT/elab-sorts CI #773: Commit c6665ce pushed by ppedrot
5m 2s main
main
5m 2s
Merge pull request #688 from TDiazT/elab-sorts Nix CI for bundle default #25: Commit c6665ce pushed by ppedrot
8m 25s main
main
8m 25s
Adapt to rocq-prover/rocq#21655 (genarg interp must be at 'top type) CI #772: Pull request #701 opened by SkySkimmer
4m 34s SkySkimmer:genarg-correct-typ
SkySkimmer:genarg-correct-typ
4m 34s
Merge pull request #700 from SkySkimmer/match-style Nix CI for bundle default #24: Commit a2028d7 pushed by ppedrot
9m 11s main
main
9m 11s
Merge pull request #700 from SkySkimmer/match-style CI #771: Commit a2028d7 pushed by ppedrot
4m 28s main
main
4m 28s
Adapt to rocq-prover/rocq#21646 (RegularStyle := MatchStyle) CI #770: Pull request #700 opened by SkySkimmer
6m 4s SkySkimmer:match-style
SkySkimmer:match-style
6m 4s
Merge pull request #699 from SkySkimmer/geninterp-ltac CI #769: Commit 613a7be pushed by ppedrot
4m 41s main
main
4m 41s
Merge pull request #699 from SkySkimmer/geninterp-ltac Nix CI for bundle default #23: Commit 613a7be pushed by ppedrot
7m 26s main
main
7m 26s
Adapt to rocq-prover/rocq#21630 (interp_sign moved to tacinterp) CI #768: Pull request #699 opened by SkySkimmer
4m 32s SkySkimmer:geninterp-ltac
SkySkimmer:geninterp-ltac
4m 32s
Merge pull request #694 from SkySkimmer/genconstr CI #767: Commit e3cb0f5 pushed by ppedrot
4m 16s main
main
4m 16s
Merge pull request #694 from SkySkimmer/genconstr Nix CI for bundle default #22: Commit e3cb0f5 pushed by ppedrot
8m 43s main
main
8m 43s
Merge pull request #696 from ppedrot/move-ftactic-to-ltac CI #766: Commit 1090432 pushed by ppedrot
5m 43s main
main
5m 43s
Merge pull request #696 from ppedrot/move-ftactic-to-ltac Nix CI for bundle default #21: Commit 1090432 pushed by ppedrot
7m 40s main
main
7m 40s
Merge pull request #697 from mattam82/support-goal-names CI #765: Commit 80195d4 pushed by mattam82
4m 47s main
main
4m 47s
Merge pull request #697 from mattam82/support-goal-names Nix CI for bundle default #20: Commit 80195d4 pushed by mattam82
7m 24s main
main
7m 24s
Merge pull request #692 from SkySkimmer/fix-warn CI #764: Commit 16c7bcf pushed by mattam82
4m 59s main
main
4m 59s
Merge pull request #692 from SkySkimmer/fix-warn Nix CI for bundle default #19: Commit 16c7bcf pushed by mattam82
7m 27s main
main
7m 27s
Support goal names from evar names in the term CI #763: Pull request #697 opened by mattam82
4m 59s support-goal-names
support-goal-names
4m 59s
Adapt to rocq-prover/rocq#21572. CI #762: Pull request #696 opened by ppedrot
4m 43s ppedrot:move-ftactic-to-ltac
ppedrot:move-ftactic-to-ltac
4m 43s
Flip default CI #761: Commit 7c41883 pushed by mattam82
4m 57s main
main
4m 57s
Flip default Nix CI for bundle default #18: Commit 7c41883 pushed by mattam82
7m 20s main
main
7m 20s
Merge pull request #695 from mattam82/obligations-attributes-and-option CI #760: Commit afabb34 pushed by mattam82
4m 57s main
main
4m 57s
Merge pull request #695 from mattam82/obligations-attributes-and-option Nix CI for bundle default #17: Commit afabb34 pushed by mattam82
8m 56s main
main
8m 56s
Add new attribute [obligations] and global [Set Equations Obligations] CI #759: Pull request #695 opened by mattam82
5m 15s obligations-attributes-and-option
obligations-attributes-and-option
5m 15s
Adapt to rocq-prover/rocq#21574 (extended constr syntax is not genarg) CI #758: Pull request #694 opened by SkySkimmer
4m 44s SkySkimmer:genconstr
SkySkimmer:genconstr
4m 44s