Skip to content

Actions: leanprover/subverso

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
406 workflow runs
406 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

May 16, 2024 03:46 3m 16s
feat: SubVerso support for using a name as an example
CI #130: Pull request #24 opened by david-christiansen
May 15, 2024 10:56 2m 51s show-name
May 15, 2024 10:56 2m 51s
May 15, 2024 09:23 2m 52s
chore: compatibility with lakefile.toml in subprojects
CI #127: Pull request #23 opened by david-christiansen
May 15, 2024 09:12 4m 19s toml-ok
May 15, 2024 09:12 4m 19s
chore: compatibility shims for Lake modifications
CI #125: Commit ee669c2 pushed by david-christiansen
May 14, 2024 10:47 2m 20s main
May 14, 2024 10:47 2m 20s
chore: compatibility shims for Lake modifications
CI #124: Pull request #22 synchronize by david-christiansen
May 14, 2024 10:42 3m 24s lake-log-change
May 14, 2024 10:42 3m 24s
feat: extensible slicing
CI #120: Commit daac07d pushed by david-christiansen
May 14, 2024 10:24 2m 17s main
May 14, 2024 10:24 2m 17s
feat: extensible slicing
CI #119: Pull request #21 opened by david-christiansen
May 14, 2024 10:18 3m 25s slicing
May 14, 2024 10:18 3m 25s
feat: extensible slicing
CI #118: Commit 495b429 pushed by david-christiansen
May 14, 2024 10:18 2m 19s slicing
May 14, 2024 10:18 2m 19s
feat: syntax slices
CI #117: Commit f2b840b pushed by david-christiansen
May 8, 2024 12:44 2m 32s main
May 8, 2024 12:44 2m 32s
feat: syntax slices
CI #116: Pull request #20 synchronize by david-christiansen
May 8, 2024 12:18 3m 42s slicing
May 8, 2024 12:18 3m 42s
feat: syntax slices
CI #115: Commit e143cdf pushed by david-christiansen
May 8, 2024 12:18 1m 54s slicing
May 8, 2024 12:18 1m 54s
feat: syntax slices
CI #114: Pull request #20 synchronize by david-christiansen
May 8, 2024 12:15 41s slicing
May 8, 2024 12:15 41s
chore: add more Lean versions to CI
CI #113: Commit f0d8c10 pushed by david-christiansen
May 8, 2024 12:15 35s slicing
May 8, 2024 12:15 35s
feat: syntax slices
CI #112: Pull request #20 opened by david-christiansen
May 8, 2024 12:12 2m 50s slicing
May 8, 2024 12:12 2m 50s
feat: syntax slices
CI #111: Commit e143cdf pushed by david-christiansen
May 8, 2024 12:12 2m 10s slicing
May 8, 2024 12:12 2m 10s
April 30, 2024 11:09 2m 40s
ProTip! You can narrow down the results and go further in time using created:<2024-04-30 or the other filters available.