Skip to content

Actions: leanprover/verso

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,006 workflow runs
1,006 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump subverso dependency (#232) Continuous Integration #791: Commit 8c1caca pushed by david-christiansen
November 22, 2024 14:46 4m 14s main
main
November 22, 2024 14:46 4m 14s
chore: bump subverso dependency Continuous Integration #790: Pull request #232 synchronize by david-christiansen
November 22, 2024 14:41 3m 59s hl-mod
hl-mod
November 22, 2024 14:41 3m 59s
chore: bump subverso dependency Check for copyright header and too-big Lean imports #218: Pull request #232 synchronize by david-christiansen
November 22, 2024 14:41 16s hl-mod
hl-mod
November 22, 2024 14:41 16s
fix: also bump subverso for demo Continuous Integration #789: Commit f2ea826 pushed by david-christiansen
November 22, 2024 14:41 4m 48s hl-mod
hl-mod
November 22, 2024 14:41 4m 48s
chore: bump subverso dependency Check for copyright header and too-big Lean imports #217: Pull request #232 opened by david-christiansen
November 22, 2024 14:36 13s hl-mod
hl-mod
November 22, 2024 14:36 13s
chore: bump subverso dependency Continuous Integration #788: Pull request #232 opened by david-christiansen
November 22, 2024 14:36 3m 52s hl-mod
hl-mod
November 22, 2024 14:36 3m 52s
chore: bump subverso dependency Continuous Integration #787: Commit 1314748 pushed by david-christiansen
November 22, 2024 14:36 3m 41s hl-mod
hl-mod
November 22, 2024 14:36 3m 41s
feat: improve ignore list for docstring progress tracker (#230) Continuous Integration #786: Commit 9b4019d pushed by david-christiansen
November 20, 2024 10:04 1m 23s main
main
November 20, 2024 10:04 1m 23s
feat: improve ignore list for docstring progress tracker Continuous Integration #785: Pull request #230 opened by david-christiansen
November 20, 2024 09:51 1m 25s docstring-fixes
docstring-fixes
November 20, 2024 09:51 1m 25s
feat: improve ignore list for docstring progress tracker Check for copyright header and too-big Lean imports #216: Pull request #230 opened by david-christiansen
November 20, 2024 09:51 15s docstring-fixes
docstring-fixes
November 20, 2024 09:51 15s
feat: improve ignore list for docstring progress tracker Continuous Integration #784: Commit c5420a9 pushed by david-christiansen
November 20, 2024 09:51 1m 21s docstring-fixes
docstring-fixes
November 20, 2024 09:51 1m 21s
fix: docstring progress tracker respects deprecation (#229) Continuous Integration #783: Commit 0929f83 pushed by david-christiansen
November 19, 2024 14:05 1m 34s main
main
November 19, 2024 14:05 1m 34s
fix: docstring progress tracker respects deprecation Check for copyright header and too-big Lean imports #215: Pull request #229 opened by david-christiansen
November 19, 2024 14:03 17s docstring-fixes
docstring-fixes
November 19, 2024 14:03 17s
fix: docstring progress tracker respects deprecation Continuous Integration #782: Pull request #229 opened by david-christiansen
November 19, 2024 14:03 1m 31s docstring-fixes
docstring-fixes
November 19, 2024 14:03 1m 31s
fix: docstring progress tracker respects deprecation Continuous Integration #781: Commit 63ec559 pushed by david-christiansen
November 19, 2024 13:57 1m 37s docstring-fixes
docstring-fixes
November 19, 2024 13:57 1m 37s
feat: verbosity flag for manual generation (#228) Continuous Integration #780: Commit 4e7ab81 pushed by david-christiansen
November 19, 2024 10:04 1m 7s main
main
November 19, 2024 10:04 1m 7s
feat: verbosity flag for manual generation Continuous Integration #779: Pull request #228 opened by david-christiansen
November 19, 2024 09:16 59s verbose-manual
verbose-manual
November 19, 2024 09:16 59s
feat: verbosity flag for manual generation Check for copyright header and too-big Lean imports #214: Pull request #228 opened by david-christiansen
November 19, 2024 09:16 12s verbose-manual
verbose-manual
November 19, 2024 09:16 12s
feat: verbosity flag for manual generation Continuous Integration #778: Commit 3dcaacd pushed by david-christiansen
November 19, 2024 09:15 1m 18s verbose-manual
verbose-manual
November 19, 2024 09:15 1m 18s
fix: always default ToC to closed on mobile Continuous Integration #777: Commit a0dfe90 pushed by david-christiansen
November 19, 2024 08:39 1m 18s main
main
November 19, 2024 08:39 1m 18s
Further mobile phone CSS improvements for manual genre Continuous Integration #776: Pull request #227 synchronize by david-christiansen
November 19, 2024 08:38 51s mobile-css-manual
mobile-css-manual
November 19, 2024 08:38 51s
Further mobile phone CSS improvements for manual genre Check for copyright header and too-big Lean imports #213: Pull request #227 synchronize by david-christiansen
November 19, 2024 08:38 11s mobile-css-manual
mobile-css-manual
November 19, 2024 08:38 11s
fix: always default ToC to closed on mobile Continuous Integration #775: Commit 6923069 pushed by david-christiansen
November 19, 2024 08:38 1m 4s mobile-css-manual
mobile-css-manual
November 19, 2024 08:38 1m 4s
Further mobile phone CSS improvements for manual genre Check for copyright header and too-big Lean imports #212: Pull request #227 synchronize by david-christiansen
November 19, 2024 08:25 15s mobile-css-manual
mobile-css-manual
November 19, 2024 08:25 15s
Further mobile phone CSS improvements for manual genre Continuous Integration #774: Pull request #227 synchronize by david-christiansen
November 19, 2024 08:25 1m 11s mobile-css-manual
mobile-css-manual
November 19, 2024 08:25 1m 11s