Skip to content

Actions: leanprover/doc-gen4

Actions

doc-gen test build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
353 workflow runs
353 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
chore: bump toolchain to v4.30.0-rc1 (#377) doc-gen test build #5381: Commit 2c96309 pushed by kim-em
9m 25s main
main
9m 25s
chore: bump toolchain to v4.30.0-rc1 doc-gen test build #5380: Pull request #377 synchronize by kim-em
9m 1s bump_to_v4.30.0-rc1
bump_to_v4.30.0-rc1
9m 1s
chore: bump toolchain to v4.30.0-rc1 doc-gen test build #5379: Pull request #377 synchronize by kim-em
1m 0s bump_to_v4.30.0-rc1
bump_to_v4.30.0-rc1
1m 0s
chore: use upstream leanprover/leansqlite (#379) doc-gen test build #5378: Commit 386e1a1 pushed by kim-em
9m 28s main
main
9m 28s
chore: use upstream leanprover/leansqlite doc-gen test build #5377: Pull request #379 synchronize by kim-em
9m 20s leansqlite-upstream-url
leansqlite-upstream-url
9m 20s
chore: use upstream leanprover/leansqlite doc-gen test build #5376: Pull request #379 opened by kim-em
27s leansqlite-upstream-url
leansqlite-upstream-url
27s
chore: use leansqlite main branch (#378) doc-gen test build #5375: Commit 55b39e7 pushed by kim-em
8m 8s main
main
8m 8s
chore: use leansqlite main branch doc-gen test build #5374: Pull request #378 opened by kim-em
8m 0s leansqlite-main-branch
leansqlite-main-branch
8m 0s
chore: bump toolchain to v4.30.0-rc1 doc-gen test build #5373: Pull request #377 opened by kim-em
57s bump_to_v4.30.0-rc1
bump_to_v4.30.0-rc1
57s
feat: print the scoped notations correctly doc-gen test build #5372: Pull request #375 opened by sehun1024
Action required sehun1024:main
sehun1024:main
Action required
chore: bump toolchain to v4.29.0 (#374) doc-gen test build #5371: Commit aa4c3e4 pushed by Garmelon
8m 31s main
main
8m 31s
chore: bump toolchain to v4.29.0 doc-gen test build #5370: Pull request #374 opened by Garmelon
9m 46s bump_to_v4.29.0
bump_to_v4.29.0
9m 46s
feat: save Format to db instead of rendered text doc-gen test build #5369: Pull request #367 synchronize by david-christiansen
8m 23s david-christiansen:pp-db
david-christiansen:pp-db
8m 23s
feat: save Format to db instead of rendered text doc-gen test build #5368: Pull request #367 synchronize by david-christiansen
9m 6s david-christiansen:pp-db
david-christiansen:pp-db
9m 6s
feat: save Format to db instead of rendered text doc-gen test build #5367: Pull request #367 synchronize by david-christiansen
9m 15s david-christiansen:pp-db
david-christiansen:pp-db
9m 15s
feat: save Format to db instead of rendered text doc-gen test build #5366: Pull request #367 synchronize by david-christiansen
9m 6s david-christiansen:pp-db
david-christiansen:pp-db
9m 6s
chore: bump toolchain to v4.29.0-rc8 (#373) doc-gen test build #5365: Commit fbfa185 pushed by kim-em
9m 10s main
main
9m 10s
chore: bump toolchain to v4.29.0-rc8 doc-gen test build #5364: Pull request #373 opened by kim-em
9m 28s bump_to_v4.29.0-rc8
bump_to_v4.29.0-rc8
9m 28s
chore: bump toolchain to v4.29.0-rc7 (#372) doc-gen test build #5363: Commit 0810481 pushed by kim-em
9m 14s main
main
9m 14s
chore: bump toolchain to v4.29.0-rc7 doc-gen test build #5362: Pull request #372 opened by kim-em
9m 34s bump_to_v4.29.0-rc7
bump_to_v4.29.0-rc7
9m 34s
fix: link directly to custom recursors instead of parent type (#371) doc-gen test build #5361: Commit 0d1cc54 pushed by hargoniX
7m 52s main
main
7m 52s
fix: link directly to custom recursors instead of parent type doc-gen test build #5360: Pull request #371 opened by mtoohey31
6m 57s mtoohey31:custom-recursor-fix
mtoohey31:custom-recursor-fix
6m 57s
fix: convert module names that contain invalid identifier chars (#370) doc-gen test build #5359: Commit f5f957c pushed by hargoniX
9m 11s main
main
9m 11s
fix: convert module names that contain invalid identifier chars doc-gen test build #5358: Pull request #370 opened by david-christiansen
9m 4s david-christiansen:modnames
david-christiansen:modnames
9m 4s
chore: bump toolchain to v4.29.0-rc6 (#369) doc-gen test build #5357: Commit 68a23ef pushed by kim-em
9m 22s main
main
9m 22s