Skip to content

Actions: leanprover/verso

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: example textbook Continuous Integration #259: Pull request #85 synchronize by david-christiansen
May 3, 2024 12:30 2m 37s ex-textbook
ex-textbook
May 3, 2024 12:30 2m 37s
feat: example textbook Check for copyright header and too-big Lean imports #31: Pull request #85 synchronize by david-christiansen
May 3, 2024 12:30 12s ex-textbook
ex-textbook
May 3, 2024 12:30 12s
chore: missing copyright headers + CI Continuous Integration #258: Commit dc115a2 pushed by david-christiansen
May 3, 2024 12:30 2m 32s ex-textbook
ex-textbook
May 3, 2024 12:30 2m 32s
feat: example textbook Check for copyright header and too-big Lean imports #30: Pull request #85 opened by david-christiansen
May 3, 2024 12:24 12s ex-textbook
ex-textbook
May 3, 2024 12:24 12s
feat: example textbook Continuous Integration #257: Pull request #85 opened by david-christiansen
May 3, 2024 12:24 2m 25s ex-textbook
ex-textbook
May 3, 2024 12:24 2m 25s
feat: example textbook Continuous Integration #256: Commit 37f0f16 pushed by david-christiansen
May 3, 2024 12:24 2m 48s ex-textbook
ex-textbook
May 3, 2024 12:24 2m 48s
chore: bump SubVerso Continuous Integration #255: Commit ff4a06a pushed by david-christiansen
April 30, 2024 11:14 2m 47s main
main
April 30, 2024 11:14 2m 47s
test: bump subverso Check for copyright header and too-big Lean imports #29: Pull request #84 synchronize by david-christiansen
April 30, 2024 11:11 12s subverso-17
subverso-17
April 30, 2024 11:11 12s
test: bump subverso Continuous Integration #254: Pull request #84 synchronize by david-christiansen
April 30, 2024 11:11 2m 49s subverso-17
subverso-17
April 30, 2024 11:11 2m 49s
chore: bump SubVerso Continuous Integration #253: Commit 4359dce pushed by david-christiansen
April 30, 2024 11:11 2m 40s subverso-17
subverso-17
April 30, 2024 11:11 2m 40s
test: bump subverso Continuous Integration #252: Pull request #84 synchronize by david-christiansen
April 30, 2024 11:03 2m 58s subverso-17
subverso-17
April 30, 2024 11:03 2m 58s
test: bump subverso Check for copyright header and too-big Lean imports #28: Pull request #84 synchronize by david-christiansen
April 30, 2024 11:03 12s subverso-17
subverso-17
April 30, 2024 11:03 12s
test: bump subverso Continuous Integration #251: Commit 4c9de20 pushed by david-christiansen
April 30, 2024 11:03 2m 57s subverso-17
subverso-17
April 30, 2024 11:03 2m 57s
test: bump subverso Continuous Integration #250: Pull request #84 synchronize by david-christiansen
April 30, 2024 10:24 2m 58s subverso-17
subverso-17
April 30, 2024 10:24 2m 58s
test: bump subverso Check for copyright header and too-big Lean imports #27: Pull request #84 synchronize by david-christiansen
April 30, 2024 10:24 16s subverso-17
subverso-17
April 30, 2024 10:24 16s
test: bump subverso Continuous Integration #249: Commit 19dfae1 pushed by david-christiansen
April 30, 2024 10:24 2m 40s subverso-17
subverso-17
April 30, 2024 10:24 2m 40s
test: bump subverso Continuous Integration #248: Pull request #84 synchronize by david-christiansen
April 30, 2024 10:14 2m 46s subverso-17
subverso-17
April 30, 2024 10:14 2m 46s
test: bump subverso Check for copyright header and too-big Lean imports #26: Pull request #84 synchronize by david-christiansen
April 30, 2024 10:14 14s subverso-17
subverso-17
April 30, 2024 10:14 14s
test: bump subverso Continuous Integration #247: Commit bc5f53e pushed by david-christiansen
April 30, 2024 10:14 2m 45s subverso-17
subverso-17
April 30, 2024 10:14 2m 45s
test: bump subverso Check for copyright header and too-big Lean imports #25: Pull request #84 synchronize by david-christiansen
April 30, 2024 08:07 19s subverso-17
subverso-17
April 30, 2024 08:07 19s
test: bump subverso Continuous Integration #246: Pull request #84 synchronize by david-christiansen
April 30, 2024 08:07 3m 1s subverso-17
subverso-17
April 30, 2024 08:07 3m 1s
test: bump subverso Continuous Integration #245: Commit a2be8aa pushed by david-christiansen
April 30, 2024 08:07 2m 43s subverso-17
subverso-17
April 30, 2024 08:07 2m 43s
test: bump subverso Check for copyright header and too-big Lean imports #24: Pull request #84 synchronize by david-christiansen
April 30, 2024 07:53 14s subverso-17
subverso-17
April 30, 2024 07:53 14s
test: bump subverso Continuous Integration #244: Pull request #84 synchronize by david-christiansen
April 30, 2024 07:53 3m 3s subverso-17
subverso-17
April 30, 2024 07:53 3m 3s
test: bump subverso Continuous Integration #243: Commit ff53af5 pushed by david-christiansen
April 30, 2024 07:53 2m 48s subverso-17
subverso-17
April 30, 2024 07:53 2m 48s
ProTip! You can narrow down the results and go further in time using created:<2024-04-30 or the other filters available.