Skip to content

Actions: TDiazT/metarocq

Actions

MetaRocq CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: Adjust to main MetaRocq CI #27: Commit 678c783 pushed by TDiazT
8m 4s icp
icp
8m 4s
refactor: Return tmQuote to inductive and made TemplateMonad sort poly MetaRocq CI #26: Commit 8905d68 pushed by TDiazT
5m 45s sort-poly-global
sort-poly-global
5m 45s
feat: Add Symbol to TemplateMonad MetaRocq CI #25: Commit 7b09130 pushed by TDiazT
5m 50s sort-poly-global
sort-poly-global
5m 50s
feat: Add Rewrite Rules to TemplateMonad MetaRocq CI #24: Commit 19f6f1e pushed by TDiazT
5m 42s template-rewrite-rules
template-rewrite-rules
5m 42s
feat: Add Symbol to TemplateMonad MetaRocq CI #23: Commit 7b09130 pushed by TDiazT
5m 45s template-rewrite-rules
template-rewrite-rules
5m 45s
feat: Add QGlobal MetaRocq CI #22: Commit 3551ac8 pushed by TDiazT
6m 0s sort-poly-global
sort-poly-global
6m 0s
feat: Add Symbol to TemplateMonad MetaRocq CI #21: Commit d86e160 pushed by TDiazT
29m 54s template-monad-symbols
template-monad-symbols
29m 54s
doc: Add missing step to include Rocq repo when building from source MetaRocq CI #20: Commit e5ead2c pushed by TDiazT
30m 40s install-doc-fix
install-doc-fix
30m 40s
Merge pull request #1222 from MetaRocq/9.1-ports-from-9.0 MetaRocq CI #19: Commit a789bdb pushed by TDiazT
30m 9s 9.1
9.1
30m 9s
Merge pull request #1233 from thomas-lamiaux/adapt21498 MetaRocq CI #18: Commit e8f8078 pushed by TDiazT
29m 32s main
main
29m 32s
Merge pull request #1149 from MetaRocq/dependabot/github_actions/coq-… MetaRocq CI #17: Commit a50b36c pushed by TDiazT
30m 35s coq-8.16
coq-8.16
30m 35s
Adapt to rocq-prover/rocq#21438 (PrimRecord record type + has_eta) MetaRocq CI #16: Commit 45cb655 pushed by TDiazT
12m 40s primitive-postponed-eta
primitive-postponed-eta
12m 40s
Merge pull request #1231 from JasonGross/print-assumptions-list MetaRocq CI #15: Commit 5544fb9 pushed by TDiazT
30m 43s main
main
30m 43s
Adapt to rocq-prover/rocq#21438 (PrimRecord record type + has_eta) MetaRocq CI #14: Commit 62d1596 pushed by TDiazT
12m 43s primitive-postponed-eta
primitive-postponed-eta
12m 43s
Adapt to rocq-prover/rocq#21438 (PrimRecord record type + has_eta) MetaRocq CI #13: Commit 518b0b4 pushed by TDiazT
12m 54s primitive-postponed-eta
primitive-postponed-eta
12m 54s
Adapt to rocq-prover/rocq#21438 (PrimRecord record type + has_eta) MetaRocq CI #12: Commit 1f23093 pushed by TDiazT
12m 52s primitive-postponed-eta
primitive-postponed-eta
12m 52s
Merge pull request #1229 from ppedrot/rm-pconstraints-contextset MetaRocq CI #11: Commit 586fa69 pushed by TDiazT
29m 11s main
main
29m 11s
Untyped quote MetaRocq CI #10: Pull request #1 opened by TDiazT
13m 49s untyped_quote
untyped_quote
13m 49s
refactor: Cleanup some details in untyped quoter MetaRocq CI #9: Commit 9439395 pushed by TDiazT
13m 46s untyped_quote
untyped_quote
13m 46s
fix: recover deleted tactic to denote term MetaRocq CI #8: Commit e68dbb7 pushed by TDiazT
13m 55s untyped_quote
untyped_quote
13m 55s
fix: update to coq 8.20 MetaRocq CI #7: Commit 1ee35c9 pushed by TDiazT
13m 32s untyped_quote
untyped_quote
13m 32s
Merge pull request #1156 from MetaRocq/dependabot/github_actions/coq-… MetaRocq CI #6: Commit 90ec400 pushed by TDiazT
31m 12s coq-8.20
coq-8.20
31m 12s
[refactor] Reorder and extract some dummy vars and aux functs MetaRocq CI #5: Commit f714983 pushed by TDiazT
12m 46s untyped_quote
untyped_quote
12m 46s
Merge pull request #1172 from jrosain/more-uniform-elimination MetaRocq CI #4: Commit 5df889e pushed by TDiazT
30m 0s main
main
30m 0s
[refactor] Reorder and extract some dummy vars and aux functs MetaRocq CI #3: Commit 7b14ff9 pushed by TDiazT
13m 13s untyped_quote
untyped_quote
13m 13s