Skip to content

Actions: TDiazT/metarocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
36 workflow runs
36 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 Nix CI for bundle rocq-9.1 #1: Commit a789bdb pushed by TDiazT
2m 21s 9.1
9.1
2m 21s
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 Nix CI for bundle rocq-dev #4: Commit e8f8078 pushed by TDiazT
2h 32m 27s main
main
2h 32m 27s
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
Merge pull request #1149 from MetaRocq/dependabot/github_actions/coq-… Nix CI for bundle coq-8.16 #1: Commit a50b36c pushed by TDiazT
32m 2s coq-8.16
coq-8.16
32m 2s
Merge pull request #1149 from MetaRocq/dependabot/github_actions/coq-… Nix CI for bundle coq-8.16 #1: Commit a50b36c pushed by TDiazT
40m 15s coq-8.16
coq-8.16
40m 15s
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 Nix CI for bundle rocq-dev #3: Commit 5544fb9 pushed by TDiazT
8m 27s main
main
8m 27s
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
Merge pull request #1229 from ppedrot/rm-pconstraints-contextset Nix CI for bundle rocq-dev #2: Commit 586fa69 pushed by TDiazT
2h 32m 52s main
main
2h 32m 52s
Untyped quote MetaRocq CI #10: Pull request #1 opened by TDiazT
13m 49s untyped_quote
untyped_quote
13m 49s
Untyped quote Nix CI for bundle coq-8.20 #2: Pull request #1 opened by TDiazT
36m 37s
36m 37s