Skip to content

Actions: leanprover/doc-gen4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
290 workflow runs
290 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: parse Markdown AST instead of via XML doc-gen test build #5259: Pull request #357 opened by david-christiansen
7m 58s david-christiansen:parsemd
david-christiansen:parsemd
7m 58s
feat: save documentation info to SQLite database doc-gen test build #5257: Pull request #347 synchronize by david-christiansen
7m 33s david-christiansen:db
david-christiansen:db
7m 33s
feat: save documentation info to SQLite database doc-gen test build #5256: Pull request #347 synchronize by david-christiansen
10m 19s david-christiansen:db
david-christiansen:db
10m 19s
feat: save documentation info to SQLite database doc-gen test build #5255: Pull request #347 synchronize by david-christiansen
7m 36s david-christiansen:db
david-christiansen:db
7m 36s
feat: save documentation info to SQLite database doc-gen test build #5254: Pull request #347 synchronize by david-christiansen
8m 24s david-christiansen:db
david-christiansen:db
8m 24s
feat: save documentation info to SQLite database doc-gen test build #5253: Pull request #347 synchronize by david-christiansen
8m 54s david-christiansen:db
david-christiansen:db
8m 54s
feat: save documentation info to SQLite database doc-gen test build #5252: Pull request #347 synchronize by david-christiansen
8m 36s david-christiansen:db
david-christiansen:db
8m 36s
feat: save documentation info to SQLite database doc-gen test build #5251: Pull request #347 synchronize by david-christiansen
9m 38s david-christiansen:db
david-christiansen:db
9m 38s
feat: save documentation info to SQLite database doc-gen test build #5250: Pull request #347 synchronize by david-christiansen
8m 47s david-christiansen:db
david-christiansen:db
8m 47s
feat: save documentation info to SQLite database doc-gen test build #5249: Pull request #347 synchronize by david-christiansen
6h 5m 4s david-christiansen:db
david-christiansen:db
6h 5m 4s
feat: save documentation info to SQLite database doc-gen test build #5248: Pull request #347 synchronize by david-christiansen
8m 32s david-christiansen:db
david-christiansen:db
8m 32s
feat: save documentation info to SQLite database doc-gen test build #5247: Pull request #347 synchronize by david-christiansen
8m 33s david-christiansen:db
david-christiansen:db
8m 33s
feat: save documentation info to SQLite database doc-gen test build #5246: Pull request #347 synchronize by david-christiansen
7m 26s david-christiansen:db
david-christiansen:db
7m 26s
fix: tactic docstrings should be rendered in the global context (#355) doc-gen test build #5245: Commit 437bd7d pushed by hargoniX
6m 34s main
main
6m 34s
feat: save documentation info to SQLite database doc-gen test build #5244: Pull request #347 synchronize by david-christiansen
11m 21s david-christiansen:db
david-christiansen:db
11m 21s
feat: save documentation info to SQLite database doc-gen test build #5243: Pull request #347 synchronize by david-christiansen
10m 32s david-christiansen:db
david-christiansen:db
10m 32s
fix: tactic docstrings should be rendered in the global context doc-gen test build #5242: Pull request #355 opened by Vierkantor
7m 45s Vierkantor:fix-tactic-links
Vierkantor:fix-tactic-links
7m 45s
feat: save documentation info to SQLite database doc-gen test build #5241: Pull request #347 synchronize by david-christiansen
1h 38m 47s david-christiansen:db
david-christiansen:db
1h 38m 47s
feat: save documentation info to SQLite database doc-gen test build #5240: Pull request #347 synchronize by david-christiansen
58m 19s david-christiansen:db
david-christiansen:db
58m 19s
feat: save documentation info to SQLite database doc-gen test build #5239: Pull request #347 synchronize by david-christiansen
54s david-christiansen:db
david-christiansen:db
54s
feat: save documentation info to SQLite database doc-gen test build #5238: Pull request #347 synchronize by david-christiansen
9m 14s david-christiansen:db
david-christiansen:db
9m 14s
feat: save documentation info to SQLite database doc-gen test build #5237: Pull request #347 synchronize by david-christiansen
10m 2s david-christiansen:db
david-christiansen:db
10m 2s
feat: tactic overview page (#353) doc-gen test build #5236: Commit b2a9fb7 pushed by hargoniX
7m 58s main
main
7m 58s
feat: tactic overview page doc-gen test build #5235: Pull request #353 synchronize by Vierkantor
8m 4s Vierkantor:tactic-docs
Vierkantor:tactic-docs
8m 4s
feat: save documentation info to SQLite database doc-gen test build #5234: Pull request #347 synchronize by david-christiansen
7m 20s david-christiansen:db
david-christiansen:db
7m 20s