Skip to content

Actions: leanprover/subverso

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
306 workflow runs
306 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: SubVerso support for using a name as an example CI #131: Commit 54396d8 pushed by david-christiansen
May 16, 2024 03:46 3m 16s main
main
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
show-name
May 15, 2024 10:56 2m 51s
feat: SubVerso support for using a name as an example CI #129: Commit ef41c92 pushed by david-christiansen
May 15, 2024 10:54 2m 53s show-name
show-name
May 15, 2024 10:54 2m 53s
chore: compatibility with lakefile.toml in subprojects CI #128: Commit c4622e3 pushed by david-christiansen
May 15, 2024 09:23 2m 52s main
main
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
toml-ok
May 15, 2024 09:12 4m 19s
chore: compatibility with lakefile.toml in subprojects CI #126: Commit 41cfd96 pushed by david-christiansen
May 15, 2024 09:12 2m 47s toml-ok
toml-ok
May 15, 2024 09:12 2m 47s
chore: compatibility shims for Lake modifications CI #125: Commit ee669c2 pushed by david-christiansen
May 14, 2024 10:47 2m 20s main
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
lake-log-change
May 14, 2024 10:42 3m 24s
chore: compatibility shims for Lake modifications CI #123: Commit df7ad36 pushed by david-christiansen
May 14, 2024 10:42 2m 19s lake-log-change
lake-log-change
May 14, 2024 10:42 2m 19s
chore: compatibility shims for Lake modifications CI #122: Pull request #22 opened by david-christiansen
May 14, 2024 10:42 35s lake-log-change
lake-log-change
May 14, 2024 10:42 35s
chore: compatibility shims for Lake modifications CI #121: Commit fb374ea pushed by david-christiansen
May 14, 2024 10:41 24s lake-log-change
lake-log-change
May 14, 2024 10:41 24s
feat: extensible slicing CI #120: Commit daac07d pushed by david-christiansen
May 14, 2024 10:24 2m 17s main
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
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
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
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
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
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
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
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
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
slicing
May 8, 2024 12:12 2m 10s
fix: round-trip failure for daggered names with default To/FromJson CI #110: Commit fbc9df3 pushed by david-christiansen
May 6, 2024 11:16 5m 48s main
main
May 6, 2024 11:16 5m 48s
fix: round-trip failure for daggered names with default To/FromJson CI #109: Pull request #19 opened by david-christiansen
May 6, 2024 10:59 3m 7s json-round-trip
json-round-trip
May 6, 2024 10:59 3m 7s
fix: round-trip failure for daggered names with default To/FromJson CI #108: Commit 333d772 pushed by david-christiansen
May 6, 2024 10:59 2m 21s json-round-trip
json-round-trip
May 6, 2024 10:59 2m 21s
fix: correctly pass info trees in highlight generation (#18) CI #107: Commit 51f4a73 pushed by david-christiansen
April 30, 2024 11:09 2m 40s main
main
April 30, 2024 11:09 2m 40s