Skip to content

Actions: leanprover/subverso

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
509 workflow runs
509 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: don't import all of Lean Formalities #4: Pull request #34 synchronize by david-christiansen
July 16, 2024 05:45 13s no-import-Lean
no-import-Lean
July 16, 2024 05:45 13s
chore: update CI matrix Formalities #3: Commit 99a1c6d pushed by david-christiansen
July 16, 2024 05:45 16s no-import-Lean
no-import-Lean
July 16, 2024 05:45 16s
chore: update CI matrix CI #155: Commit 99a1c6d pushed by david-christiansen
July 16, 2024 05:45 6m 4s no-import-Lean
no-import-Lean
July 16, 2024 05:45 6m 4s
chore: don't import all of Lean Formalities #2: Pull request #34 synchronize by david-christiansen
July 16, 2024 05:39 11s no-import-Lean
no-import-Lean
July 16, 2024 05:39 11s
chore: don't import all of Lean CI #154: Pull request #34 synchronize by david-christiansen
July 16, 2024 05:39 5m 16s no-import-Lean
no-import-Lean
July 16, 2024 05:39 5m 16s
chore: check Lean import and copyright header in CI CI #153: Commit 21e7b54 pushed by david-christiansen
July 16, 2024 05:39 3m 59s no-import-Lean
no-import-Lean
July 16, 2024 05:39 3m 59s
chore: check Lean import and copyright header in CI Formalities #1: Commit 21e7b54 pushed by david-christiansen
July 16, 2024 05:39 10s no-import-Lean
no-import-Lean
July 16, 2024 05:39 10s
chore: don't import all of Lean CI #152: Pull request #34 opened by david-christiansen
July 16, 2024 05:19 7m 17s no-import-Lean
no-import-Lean
July 16, 2024 05:19 7m 17s
chore: don't import all of Lean CI #151: Commit d4534a1 pushed by david-christiansen
July 16, 2024 05:19 6m 22s no-import-Lean
no-import-Lean
July 16, 2024 05:19 6m 22s
chore: precompile modules (#33) CI #150: Commit d555157 pushed by david-christiansen
June 20, 2024 04:36 5m 29s main
main
June 20, 2024 04:36 5m 29s
chore: precompile modules CI #149: Pull request #33 opened by david-christiansen
June 20, 2024 04:30 5m 22s precomp
precomp
June 20, 2024 04:30 5m 22s
chore: precompile modules CI #148: Commit 6e48298 pushed by david-christiansen
June 20, 2024 04:30 4m 58s precomp
precomp
June 20, 2024 04:30 4m 58s
chore: add trace nodes for highlighting operations (#32) CI #147: Commit fccc969 pushed by david-christiansen
June 17, 2024 12:25 5m 53s main
main
June 17, 2024 12:25 5m 53s
chore: add trace nodes for highlighting operations CI #146: Pull request #32 opened by david-christiansen
June 17, 2024 12:18 5m 2s trace-nodes
trace-nodes
June 17, 2024 12:18 5m 2s
chore: add trace nodes for highlighting operations CI #145: Commit 652248a pushed by david-christiansen
June 17, 2024 12:18 3m 12s trace-nodes
trace-nodes
June 17, 2024 12:18 3m 12s
chore: update CI for newer Lean versions (#31) CI #144: Commit f33f815 pushed by david-christiansen
June 13, 2024 18:48 3m 41s main
main
June 13, 2024 18:48 3m 41s
chore: update CI for newer Lean versions CI #143: Pull request #31 opened by david-christiansen
June 13, 2024 18:43 4m 45s ci-2024-06-13
ci-2024-06-13
June 13, 2024 18:43 4m 45s
chore: update CI for newer Lean versions CI #142: Commit 2a7f048 pushed by david-christiansen
June 13, 2024 18:42 3m 16s ci-2024-06-13
ci-2024-06-13
June 13, 2024 18:42 3m 16s
feat: proof states after "by" (#28) CI #141: Commit 1435fbe pushed by david-christiansen
May 17, 2024 08:14 3m 7s main
main
May 17, 2024 08:14 3m 7s
feat: proof states after "by" CI #140: Pull request #28 opened by david-christiansen
May 17, 2024 08:10 4m 24s by-states
by-states
May 17, 2024 08:10 4m 24s
feat: proof states after "by" CI #139: Commit 83b88d9 pushed by david-christiansen
May 17, 2024 08:10 3m 12s by-states
by-states
May 17, 2024 08:10 3m 12s
feat: show proof states after =>, and not after semicolons (#27) CI #138: Commit 866dd83 pushed by david-christiansen
May 17, 2024 07:55 2m 59s main
main
May 17, 2024 07:55 2m 59s
feat: show proof states after, and not after semicolons CI #137: Pull request #27 opened by david-christiansen
May 17, 2024 07:50 3m 57s arrow-states
arrow-states
May 17, 2024 07:50 3m 57s
feat: show proof states after, and not after semicolons CI #136: Commit 5b651e6 pushed by david-christiansen
May 17, 2024 07:50 3m 1s arrow-states
arrow-states
May 17, 2024 07:50 3m 1s
feat: checked signatures with user formatting CI #135: Commit aa1d3c1 pushed by david-christiansen
May 16, 2024 09:42 4m 0s main
main
May 16, 2024 09:42 4m 0s
ProTip! You can narrow down the results and go further in time using created:<2024-05-16 or the other filters available.