Skip to content

Actions: leanprover/verso

Actions

Consistent Subverso dependencies

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
consistent-subverso-manifests.yml
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump md4lean dependency Consistent Subverso dependencies #37: Pull request #271 opened by david-christiansen
January 14, 2025 08:47 12s md4lean-bump
md4lean-bump
January 14, 2025 08:47 12s
chore: bump to v4.16.0-rc2 Consistent Subverso dependencies #36: Pull request #270 opened by kim-em
January 14, 2025 03:39 10s bump_to_v4.16.0-rc2
bump_to_v4.16.0-rc2
January 14, 2025 03:39 10s
perf: use a better data structure for the index Consistent Subverso dependencies #35: Pull request #269 opened by david-christiansen
January 13, 2025 10:33 11s perf-index
perf-index
January 13, 2025 10:33 11s
feat: track progress of root namespace Consistent Subverso dependencies #34: Pull request #268 opened by david-christiansen
January 13, 2025 06:16 13s progress-root
progress-root
January 13, 2025 06:16 13s
feat: allow manual genre to add custom elements to HTML <head> Consistent Subverso dependencies #33: Pull request #267 synchronize by david-christiansen
January 10, 2025 14:08 7m 13s custom-head
custom-head
January 10, 2025 14:08 7m 13s
feat: allow manual genre to add custom elements to HTML <head> Consistent Subverso dependencies #32: Pull request #267 synchronize by david-christiansen
January 10, 2025 13:05 14s custom-head
custom-head
January 10, 2025 13:05 14s
feat: allow manual genre to add custom elements to HTML <head> Consistent Subverso dependencies #31: Pull request #267 synchronize by david-christiansen
January 10, 2025 12:57 11s custom-head
custom-head
January 10, 2025 12:57 11s
feat: allow manual genre to add custom elements to HTML <head> Consistent Subverso dependencies #30: Pull request #267 synchronize by david-christiansen
January 10, 2025 12:14 10s custom-head
custom-head
January 10, 2025 12:14 10s
feat: allow manual genre to add custom elements to HTML <head> Consistent Subverso dependencies #29: Pull request #267 synchronize by david-christiansen
January 10, 2025 12:10 11s custom-head
custom-head
January 10, 2025 12:10 11s
feat: allow manual genre to add custom elements to HTML <head> Consistent Subverso dependencies #28: Pull request #267 synchronize by david-christiansen
January 10, 2025 12:05 12s custom-head
custom-head
January 10, 2025 12:05 12s
feat: allow manual genre to add custom elements to HTML <head> Consistent Subverso dependencies #27: Pull request #267 synchronize by david-christiansen
January 10, 2025 11:47 11s custom-head
custom-head
January 10, 2025 11:47 11s
feat: allow manual genre to add custom elements to HTML <head> Consistent Subverso dependencies #26: Pull request #267 synchronize by david-christiansen
January 10, 2025 10:25 11s custom-head
custom-head
January 10, 2025 10:25 11s
feat: allow manual genre to add custom elements to HTML <head> Consistent Subverso dependencies #25: Pull request #267 opened by david-christiansen
January 10, 2025 10:09 15s custom-head
custom-head
January 10, 2025 10:09 15s
feat: small quality of life improvements in progress tracker Consistent Subverso dependencies #24: Pull request #265 opened by david-christiansen
January 9, 2025 08:40 11s progress-help
progress-help
January 9, 2025 08:40 11s
feat: heuristic Markdown docstring rendering Consistent Subverso dependencies #23: Pull request #255 synchronize by david-christiansen
January 7, 2025 16:18 13s md-heuristics
md-heuristics
January 7, 2025 16:18 13s
feat: heuristic Markdown docstring rendering Consistent Subverso dependencies #22: Pull request #255 synchronize by david-christiansen
January 7, 2025 16:02 15s md-heuristics
md-heuristics
January 7, 2025 16:02 15s
feat: heuristic Markdown docstring rendering Consistent Subverso dependencies #21: Pull request #255 synchronize by david-christiansen
January 7, 2025 15:51 11s md-heuristics
md-heuristics
January 7, 2025 15:51 11s
feat: heuristic Markdown docstring rendering Consistent Subverso dependencies #20: Pull request #255 synchronize by david-christiansen
January 7, 2025 15:26 41s md-heuristics
md-heuristics
January 7, 2025 15:26 41s
feat: heuristic Markdown docstring rendering Consistent Subverso dependencies #19: Pull request #255 synchronize by david-christiansen
January 7, 2025 15:13 11m 3s md-heuristics
md-heuristics
January 7, 2025 15:13 11m 3s
feat: heuristic Markdown docstring rendering Consistent Subverso dependencies #18: Pull request #255 synchronize by david-christiansen
January 7, 2025 15:05 18m 37s md-heuristics
md-heuristics
January 7, 2025 15:05 18m 37s
feat: heuristic Markdown docstring rendering Consistent Subverso dependencies #17: Pull request #255 synchronize by david-christiansen
January 7, 2025 14:43 16s md-heuristics
md-heuristics
January 7, 2025 14:43 16s
feat: heuristic Markdown docstring rendering Consistent Subverso dependencies #16: Pull request #255 synchronize by david-christiansen
January 7, 2025 14:13 18s md-heuristics
md-heuristics
January 7, 2025 14:13 18s
feat: heuristic Markdown docstring rendering Consistent Subverso dependencies #15: Pull request #255 synchronize by david-christiansen
January 7, 2025 09:02 12s md-heuristics
md-heuristics
January 7, 2025 09:02 12s
feat: heuristic Markdown docstring rendering Consistent Subverso dependencies #14: Pull request #255 synchronize by david-christiansen
January 7, 2025 08:58 12s md-heuristics
md-heuristics
January 7, 2025 08:58 12s
fix: use declared syntax for all Verso syntax Consistent Subverso dependencies #13: Pull request #264 synchronize by david-christiansen
January 7, 2025 08:14 14s syntax-fix
syntax-fix
January 7, 2025 08:14 14s