Skip to content

Actions: leanprover/verso

Actions

Consistent Subverso dependencies

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: track progress through empty namespaces correctly Consistent Subverso dependencies #55: Pull request #287 opened by david-christiansen
February 7, 2025 10:06 13s fix-progress-tracking
fix-progress-tracking
February 7, 2025 10:06 13s
chore: bump to new nightly Consistent Subverso dependencies #54: Pull request #286 opened by david-christiansen
February 6, 2025 15:23 13s tokens-fix
tokens-fix
February 6, 2025 15:23 13s
chore: switch to using lakefile.toml Consistent Subverso dependencies #53: Pull request #285 opened by kim-em
February 4, 2025 05:59 10s toml
toml
February 4, 2025 05:59 10s
chore: bump to v4.17.0-rc1 Consistent Subverso dependencies #52: Pull request #284 opened by david-christiansen
February 3, 2025 12:18 11s bump-4-17-rc1
bump-4-17-rc1
February 3, 2025 12:18 11s
chore: bump toolchain to v4.16.0 Consistent Subverso dependencies #51: Pull request #283 opened by jcommelin
February 3, 2025 08:34 13s bump_to_v4.16.0
bump_to_v4.16.0
February 3, 2025 08:34 13s
chore: bump SubVerso for bugfix Consistent Subverso dependencies #50: Pull request #282 opened by david-christiansen
January 31, 2025 22:59 11s subverso-bump-less-hl
subverso-bump-less-hl
January 31, 2025 22:59 11s
fix: allow multi-arg roles when generating string previews Consistent Subverso dependencies #49: Pull request #281 opened by david-christiansen
January 31, 2025 22:13 13s better-tostring
better-tostring
January 31, 2025 22:13 13s
fix: don't show _root_ in code hovers when not needed Consistent Subverso dependencies #48: Pull request #280 opened by david-christiansen
January 31, 2025 21:45 12s hl-fixes
hl-fixes
January 31, 2025 21:45 12s
feat: automatically track open-source libraries for web frontend Consistent Subverso dependencies #47: Pull request #279 synchronize by david-christiansen
January 31, 2025 13:49 9s license-infos
license-infos
January 31, 2025 13:49 9s
feat: automatically track open-source libraries for web frontend Consistent Subverso dependencies #46: Pull request #279 opened by david-christiansen
January 31, 2025 13:39 11s license-infos
license-infos
January 31, 2025 13:39 11s
fix: Set toc-backdrop z-index to 9, restore toc to 10 Consistent Subverso dependencies #45: Pull request #278 opened by david-christiansen
January 30, 2025 07:13 12s layers-fix
layers-fix
January 30, 2025 07:13 12s
feat: allow manual genre to add custom elements to HTML <head> Consistent Subverso dependencies #44: Pull request #267 synchronize by david-christiansen
January 29, 2025 21:48 13s custom-head
custom-head
January 29, 2025 21:48 13s
feat: allow manual genre to add custom elements to HTML <head> Consistent Subverso dependencies #43: Pull request #267 synchronize by david-christiansen
January 29, 2025 21:47 9s custom-head
custom-head
January 29, 2025 21:47 9s
feat: allow manual genre to add custom elements to HTML <head> Consistent Subverso dependencies #42: Pull request #267 synchronize by david-christiansen
January 27, 2025 06:09 13s custom-head
custom-head
January 27, 2025 06:09 13s
fix: docstring heuristic rendering should skip Lake commands Consistent Subverso dependencies #41: Pull request #276 opened by david-christiansen
January 21, 2025 10:11 11s docstring-no-lake
docstring-no-lake
January 21, 2025 10:11 11s
chore: use upstream version of MD4Lean Consistent Subverso dependencies #40: Pull request #275 opened by david-christiansen
January 17, 2025 21:12 10s upstream-md4lean
upstream-md4lean
January 17, 2025 21:12 10s
feat: docstring splicing Consistent Subverso dependencies #39: Pull request #273 opened by david-christiansen
January 17, 2025 09:50 11s include-doc-here
include-doc-here
January 17, 2025 09:50 11s
feat: add the ability to replace tactic docstrings Consistent Subverso dependencies #38: Pull request #272 opened by david-christiansen
January 16, 2025 20:24 10s tactic-doc-replace
tactic-doc-replace
January 16, 2025 20:24 10s
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