Multi-library docs regression test · Workflow runs · leanprover/doc-gen4 · GitHub

Actions

Multi-library docs regression test

Actions

Loading...
Loading

multi-lib-docs.yml

9 workflow runs

9 workflow runs

chore: bump leansqlite and update calls (#364) Multi-library docs regression test #9: Commit f178e49 pushed by hargoniX

10m 14s main

main

10m 14s

chore: bump toolchain to v4.29.0-rc2 (#365) Multi-library docs regression test #8: Commit 71a6c21 pushed by hargoniX

10m 22s main

main

10m 22s

fix: bump toolchain to v4.29.0-rc2 (instanceReducible → implicitReducible) Multi-library docs regression test #7: Pull request #365 opened by NicolasRouquette

10m 0s NicolasRouquette:fix/lean-4.29.0-rc2

NicolasRouquette:fix/lean-4.29.0-rc2

10m 0s

chore: bump leansqlite and update calls Multi-library docs regression test #6: Pull request #364 opened by david-christiansen

10m 29s david-christiansen:bump-leansqlite

david-christiansen:bump-leansqlite

10m 29s

fix: don't skip docs in multi-library situations (#363) Multi-library docs regression test #5: Commit d6f535e pushed by hargoniX

9m 36s main

main

9m 36s

fix: don't skip docs in multi-library situations Multi-library docs regression test #4: Pull request #363 synchronize by david-christiansen

9m 22s david-christiansen:db-fix

david-christiansen:db-fix

9m 22s

fix: don't skip docs in multi-library situations Multi-library docs regression test #3: Pull request #363 synchronize by david-christiansen

10m 46s david-christiansen:db-fix

david-christiansen:db-fix

10m 46s

fix: don't skip docs in multi-library situations Multi-library docs regression test #2: Pull request #363 synchronize by david-christiansen

9m 0s david-christiansen:db-fix

david-christiansen:db-fix

9m 0s

fix: don't skip docs in multi-library situations Multi-library docs regression test #1: Pull request #363 opened by david-christiansen

8m 57s david-christiansen:db-fix

david-christiansen:db-fix

8m 57s