Skip to content

Actions: rocq-prover/equations

Actions

Nix CI for bundle default

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-default.yml
40 workflow runs
40 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Adapt to https://github.com/rocq-prover/stdlib/pull/251 Nix CI for bundle default #40: Pull request #712 opened by proux01
3m 41s
3m 41s
Adapt to rocq-prover/rocq#21912 (add argument to default_flags_of) Nix CI for bundle default #39: Pull request #711 opened by yannl35133
8m 39s
8m 39s
Merge pull request #709 from ppedrot/constr-type-as-first-order-data Nix CI for bundle default #38: Commit 8bdf4d9 pushed by ppedrot
8m 38s main
main
8m 38s
Adapt to rocq-prover/rocq#21863. Nix CI for bundle default #37: Pull request #709 opened by ppedrot
8m 42s
8m 42s
Merge pull request #707 from SkySkimmer/only-above Nix CI for bundle default #36: Commit 271ef02 pushed by ppedrot
9m 0s main
main
9m 0s
Merge pull request #706 from SkySkimmer/qglobal-not-qvar Nix CI for bundle default #35: Commit d569909 pushed by ppedrot
7m 7s main
main
7m 7s
Adapt to rocq-prover/rocq#21820 (collapse_sort_variables arg change) Nix CI for bundle default #34: Pull request #707 opened by SkySkimmer
7m 14s
7m 14s
Adapt to rocq-prover/rocq#21767 (qglobal is not qvar) Nix CI for bundle default #33: Pull request #706 synchronize by SkySkimmer
7m 15s
7m 15s
Merge pull request #704 from SkySkimmer/wit-tac-value Nix CI for bundle default #32: Commit b3f3c42 pushed by ppedrot
7m 6s main
main
7m 6s
Adapt to rocq-prover/rocq#21767 (qglobal is not qvar) Nix CI for bundle default #31: Pull request #706 opened by SkySkimmer
7m 20s
7m 20s
Move to rocq.theory dune lang Nix CI for bundle default #30: Pull request #705 opened by mattam82
3m 0s
3m 0s
Adapt to rocq-prover/rocq#21680 (wit_tactic top type is tacvalue) Nix CI for bundle default #29: Pull request #704 opened by SkySkimmer
10m 39s
10m 39s
Merge pull request #703 from SkySkimmer/simpl-indtypig Nix CI for bundle default #28: Commit e6717a2 pushed by ppedrot
9m 9s main
main
9m 9s
Merge pull request #702 from mattam82/fix-minimize-universes-API Nix CI for bundle default #27: Commit 879619a pushed by mattam82
15m 6s main
main
15m 6s
Merge pull request #701 from SkySkimmer/genarg-correct-typ Nix CI for bundle default #26: Commit f34dbf8 pushed by ppedrot
8m 48s main
main
8m 48s
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