Skip to content

Actions: mattam82/Coq-Equations

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
143 workflow runs
143 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
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 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
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 #696 from ppedrot/move-ftactic-to-ltac CI #766: Commit 1090432 pushed by ppedrot
5m 43s main
main
5m 43s
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 #692 from SkySkimmer/fix-warn CI #764: Commit 16c7bcf pushed by mattam82
4m 59s main
main
4m 59s
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
Merge pull request #695 from mattam82/obligations-attributes-and-option CI #760: Commit afabb34 pushed by mattam82
4m 57s main
main
4m 57s
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
Fix rocqdep warnings CI #757: Pull request #692 opened by SkySkimmer
4m 54s SkySkimmer:fix-warn
SkySkimmer:fix-warn
4m 54s
Merge pull request #691 from ppedrot/skip-guard-checking-universe-com… CI #755: Commit 757662b pushed by ppedrot
5m 15s main
main
5m 15s
Do not perform guard checking when inferring universe constraints. CI #754: Pull request #691 opened by ppedrot
5m 1s ppedrot:skip-guard-checking-universe-computation
ppedrot:skip-guard-checking-universe-computation
5m 1s
Merge pull request #689 from ppedrot/share-mutual-typing CI #753: Commit d227011 pushed by ppedrot
5m 5s main
main
5m 5s
Share typing of mutual definitions. CI #752: Pull request #689 opened by ppedrot
5m 18s ppedrot:share-mutual-typing
ppedrot:share-mutual-typing
5m 18s
Merge pull request #687 from ppedrot/remove-push-qualities CI #750: Commit aab5b13 pushed by ppedrot
4m 50s main
main
4m 50s
Stop pushing proof-local qualities in the global environment. CI #749: Pull request #687 opened by ppedrot
4m 43s ppedrot:remove-push-qualities
ppedrot:remove-push-qualities
4m 43s
Merge pull request #686 from ppedrot/track-elimination-source-constra… CI #748: Commit 7623351 pushed by ppedrot
4m 42s main
main
4m 42s
Adapt to rocq-prover/rocq#21486. CI #747: Pull request #686 opened by ppedrot
4m 42s ppedrot:track-elimination-source-constraints
ppedrot:track-elimination-source-constraints
4m 42s