Skip to content

Actions: leanprover/lean4export

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
64 workflow runs
64 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #23 from leanprover/bump_to_v4.29.0-rc2 CI #64: Commit b9902a6 pushed by kim-em
1m 5s master
master
1m 5s
chore: bump toolchain to v4.29.0-rc2 CI #63: Pull request #23 opened by kim-em
1m 7s bump_to_v4.29.0-rc2
bump_to_v4.29.0-rc2
1m 7s
feat: export Quot-package together CI #62: Pull request #22 synchronize by nomeata
57s joachim/export-eq-with-qout
joachim/export-eq-with-qout
57s
feat: export Quot-package together CI #61: Pull request #22 synchronize by nomeata
1m 11s joachim/export-eq-with-qout
joachim/export-eq-with-qout
1m 11s
feat: export Quot-package together CI #60: Pull request #22 synchronize by nomeata
1m 6s joachim/export-eq-with-qout
joachim/export-eq-with-qout
1m 6s
feat: export Quot-package together CI #59: Pull request #22 synchronize by nomeata
1m 12s joachim/export-eq-with-qout
joachim/export-eq-with-qout
1m 12s
feat: export Quot-package together CI #58: Pull request #22 synchronize by nomeata
28s joachim/export-eq-with-qout
joachim/export-eq-with-qout
28s
feat: export Quot-package together CI #57: Pull request #22 synchronize by nomeata
1m 12s joachim/export-eq-with-qout
joachim/export-eq-with-qout
1m 12s
feat: export Quot-package together CI #56: Pull request #22 opened by nomeata
1m 9s joachim/export-eq-with-qout
joachim/export-eq-with-qout
1m 9s
Merge pull request #21 from leanprover/bump_to_v4.29.0-rc1 CI #55: Commit ddeb086 pushed by kim-em
1m 5s master
master
1m 5s
chore: bump toolchain to v4.29.0-rc1 CI #54: Pull request #21 opened by kim-em
1m 5s bump_to_v4.29.0-rc1
bump_to_v4.29.0-rc1
1m 5s
Merge pull request #20 from leanprover/bump_to_v4.28.0 CI #53: Commit a31244e pushed by kim-em
1m 18s master
master
1m 18s
chore: bump toolchain to v4.28.0 CI #52: Pull request #20 opened by kim-em
1m 6s bump_to_v4.28.0
bump_to_v4.28.0
1m 6s
fix import name generation CI #51: Pull request #19 opened by mo271
Action required mo271:import_fix
mo271:import_fix
Action required
Merge pull request #18 from leanprover/joachim/parser-strval CI #50: Commit 048394e pushed by hargoniX
57s master
master
57s
fix: parser: fix parsing strVal CI #49: Pull request #18 synchronize by nomeata
5m 53s joachim/parser-strval
joachim/parser-strval
5m 53s
fix: parser: fix parsing strVal CI #48: Pull request #18 opened by nomeata
13m 22s joachim/parser-strval
joachim/parser-strval
13m 22s
Merge pull request #17 from leanprover/joachim/parser CI #47: Commit 86a1f98 pushed by hargoniX
49s master
master
49s
feat: add a parser CI #46: Pull request #17 synchronize by nomeata
51s joachim/parser
joachim/parser
51s
Merge pull request #16 from leanprover/joachim/no-defn-array CI #45: Commit 779b48a pushed by hargoniX
46s master
master
46s
feat: add a parser CI #44: Pull request #17 synchronize by nomeata
53s joachim/parser
joachim/parser
53s
feat: add a parser CI #43: Pull request #17 synchronize by nomeata
1m 5s joachim/parser
joachim/parser
1m 5s
refine format: no arrays around definitions CI #42: Pull request #16 synchronize by nomeata
42s joachim/no-defn-array
joachim/no-defn-array
42s
refine format: no arrays around definitions CI #41: Pull request #16 synchronize by nomeata
46s joachim/no-defn-array
joachim/no-defn-array
46s
feat: add a parser CI #40: Pull request #17 synchronize by nomeata
56s joachim/parser
joachim/parser
56s