Skip to content

Actions: leanprover/verso

Actions

Continuous Integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
955 workflow runs
955 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump SubVerso for bugfix Continuous Integration #957: Pull request #282 opened by david-christiansen
January 31, 2025 22:59 4m 59s subverso-bump-less-hl
subverso-bump-less-hl
January 31, 2025 22:59 4m 59s
fix: allow multi-arg roles when generating string previews Continuous Integration #956: Pull request #281 opened by david-christiansen
January 31, 2025 22:13 4m 48s better-tostring
better-tostring
January 31, 2025 22:13 4m 48s
fix: don't show _root_ in code hovers when not needed Continuous Integration #955: Pull request #280 opened by david-christiansen
January 31, 2025 21:45 4m 46s hl-fixes
hl-fixes
January 31, 2025 21:45 4m 46s
feat: automatically track open-source libraries for web frontend Continuous Integration #954: Pull request #279 synchronize by david-christiansen
January 31, 2025 13:49 4m 44s license-infos
license-infos
January 31, 2025 13:49 4m 44s
feat: automatically track open-source libraries for web frontend Continuous Integration #953: Pull request #279 opened by david-christiansen
January 31, 2025 13:39 10s license-infos
license-infos
January 31, 2025 13:39 10s
fix: Set toc-backdrop z-index to 9, restore toc to 10 Continuous Integration #952: Pull request #278 opened by david-christiansen
January 30, 2025 07:13 4m 56s layers-fix
layers-fix
January 30, 2025 07:13 4m 56s
feat: allow manual genre to add custom elements to HTML <head> Continuous Integration #951: Pull request #267 synchronize by david-christiansen
January 29, 2025 21:48 4m 33s custom-head
custom-head
January 29, 2025 21:48 4m 33s
feat: allow manual genre to add custom elements to HTML <head> Continuous Integration #950: Pull request #267 synchronize by david-christiansen
January 29, 2025 21:47 4m 39s custom-head
custom-head
January 29, 2025 21:47 4m 39s
feat: allow manual genre to add custom elements to HTML <head> Continuous Integration #949: Pull request #267 synchronize by david-christiansen
January 27, 2025 06:09 4m 42s custom-head
custom-head
January 27, 2025 06:09 4m 42s
fix: docstring heuristic rendering should skip Lake commands Continuous Integration #948: Pull request #276 opened by david-christiansen
January 21, 2025 10:11 4m 42s docstring-no-lake
docstring-no-lake
January 21, 2025 10:11 4m 42s
chore: use upstream version of MD4Lean Continuous Integration #947: Pull request #275 opened by david-christiansen
January 17, 2025 21:12 4m 40s upstream-md4lean
upstream-md4lean
January 17, 2025 21:12 4m 40s
feat: docstring splicing Continuous Integration #946: Pull request #273 opened by david-christiansen
January 17, 2025 09:50 4m 33s include-doc-here
include-doc-here
January 17, 2025 09:50 4m 33s
feat: add the ability to replace tactic docstrings Continuous Integration #945: Pull request #272 opened by david-christiansen
January 16, 2025 20:24 4m 36s tactic-doc-replace
tactic-doc-replace
January 16, 2025 20:24 4m 36s
chore: bump md4lean dependency Continuous Integration #944: Pull request #271 opened by david-christiansen
January 14, 2025 08:47 4m 32s md4lean-bump
md4lean-bump
January 14, 2025 08:47 4m 32s
chore: bump to v4.16.0-rc2 Continuous Integration #943: Pull request #270 opened by kim-em
January 14, 2025 03:39 4m 56s bump_to_v4.16.0-rc2
bump_to_v4.16.0-rc2
January 14, 2025 03:39 4m 56s
perf: use a better data structure for the index Continuous Integration #942: Pull request #269 opened by david-christiansen
January 13, 2025 10:33 4m 44s perf-index
perf-index
January 13, 2025 10:33 4m 44s
feat: track progress of root namespace Continuous Integration #941: Pull request #268 opened by david-christiansen
January 13, 2025 06:16 4m 55s progress-root
progress-root
January 13, 2025 06:16 4m 55s
feat: allow manual genre to add custom elements to HTML <head> Continuous Integration #940: Pull request #267 synchronize by david-christiansen
January 10, 2025 14:08 8m 41s custom-head
custom-head
January 10, 2025 14:08 8m 41s
feat: allow manual genre to add custom elements to HTML <head> Continuous Integration #939: Pull request #267 synchronize by david-christiansen
January 10, 2025 13:05 1m 56s custom-head
custom-head
January 10, 2025 13:05 1m 56s
feat: allow manual genre to add custom elements to HTML <head> Continuous Integration #938: Pull request #267 synchronize by david-christiansen
January 10, 2025 12:57 1m 45s custom-head
custom-head
January 10, 2025 12:57 1m 45s
feat: allow manual genre to add custom elements to HTML <head> Continuous Integration #937: Pull request #267 synchronize by david-christiansen
January 10, 2025 12:14 1m 57s custom-head
custom-head
January 10, 2025 12:14 1m 57s
feat: allow manual genre to add custom elements to HTML <head> Continuous Integration #936: Pull request #267 synchronize by david-christiansen
January 10, 2025 12:10 1m 49s custom-head
custom-head
January 10, 2025 12:10 1m 49s
feat: allow manual genre to add custom elements to HTML <head> Continuous Integration #935: Pull request #267 synchronize by david-christiansen
January 10, 2025 12:05 2m 1s custom-head
custom-head
January 10, 2025 12:05 2m 1s
feat: allow manual genre to add custom elements to HTML <head> Continuous Integration #934: Pull request #267 synchronize by david-christiansen
January 10, 2025 11:47 1m 46s custom-head
custom-head
January 10, 2025 11:47 1m 46s
feat: allow manual genre to add custom elements to HTML <head> Continuous Integration #933: Pull request #267 synchronize by david-christiansen
January 10, 2025 10:25 1m 7s custom-head
custom-head
January 10, 2025 10:25 1m 7s