Skip to content

Actions: mattam82/Coq-Equations

Actions

Nix CI for bundle default

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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 #699 from SkySkimmer/geninterp-ltac Nix CI for bundle default #23: Commit 613a7be pushed by ppedrot
7m 26s main
main
7m 26s
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 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 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 Nix CI for bundle default #19: Commit 16c7bcf pushed by mattam82
7m 27s main
main
7m 27s
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 Nix CI for bundle default #17: Commit afabb34 pushed by mattam82
8m 56s main
main
8m 56s
Merge pull request #691 from ppedrot/skip-guard-checking-universe-com… Nix CI for bundle default #16: Commit 757662b pushed by ppedrot
3m 10s main
main
3m 10s
Merge pull request #689 from ppedrot/share-mutual-typing Nix CI for bundle default #15: Commit d227011 pushed by ppedrot
7m 41s main
main
7m 41s
Merge pull request #687 from ppedrot/remove-push-qualities Nix CI for bundle default #14: Commit aab5b13 pushed by ppedrot
13m 5s main
main
13m 5s
Merge pull request #686 from ppedrot/track-elimination-source-constra… Nix CI for bundle default #13: Commit 7623351 pushed by ppedrot
9m 7s main
main
9m 7s
Merge pull request #685 from mattam82/fix-hott-build Nix CI for bundle default #12: Commit 707e885 pushed by mattam82
8m 42s main
main
8m 42s
Merge pull request #684 from SkySkimmer/patch-1 Nix CI for bundle default #11: Commit df2a227 pushed by ppedrot
3m 6s main
main
3m 6s
Merge pull request #671 from ppedrot/evar-names-use-full-path Nix CI for bundle default #10: Commit 997decf pushed by ppedrot
4m 48s main
main
4m 48s
Merge pull request #683 from ppedrot/chase-pconstraint-context-set-II Nix CI for bundle default #9: Commit a110e3a pushed by mattam82
7m 41s main
main
7m 41s
Merge pull request #682 from mattam82/sort-poly-flags Nix CI for bundle default #8: Commit 2068144 pushed by ppedrot
7m 49s main
main
7m 49s
Merge pull request #681 from SkySkimmer/univ-decl Nix CI for bundle default #7: Commit 6a37dbf pushed by ppedrot
7m 38s main
main
7m 38s
Merge pull request #676 from ppedrot/declare-clear-cruft Nix CI for bundle default #6: Commit 3c4476a pushed by ppedrot
3m 19s main
main
3m 19s
Adapt to rocq-prover/rocq#21395 (revert univ_decl name change) Nix CI for bundle default #5: Pull request #681 opened by SkySkimmer
8m 48s
8m 48s
Regenerate github nix action Nix CI for bundle default #4: Commit 6aa10a0 pushed by mattam82
6m 15s main
main
6m 15s
Clean enter_goal API, not providing a gl handle Nix CI for bundle default #3: Pull request #680 synchronize by mattam82
8m 39s
8m 39s
Clean enter_goal API, not providing a gl handle Nix CI for bundle default #2: Pull request #680 opened by mattam82
8m 55s
8m 55s
Nix Config Nix CI for bundle default #1: Pull request #679 opened by mattam82
9m 39s nix-ci
nix-ci
9m 39s