Skip to content

Actions: leanprover/verso

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: incremental elaboration of Verso documents Continuous Integration #230: Pull request #78 synchronize by david-christiansen
April 26, 2024 13:58 2m 7s incr-tactic
incr-tactic
April 26, 2024 13:58 2m 7s
Prepare for incremental messages Continuous Integration #229: Commit 9985f05 pushed by david-christiansen
April 26, 2024 13:58 2m 8s incr-tactic
incr-tactic
April 26, 2024 13:58 2m 8s
feat: incremental elaboration of Verso documents Continuous Integration #228: Pull request #78 synchronize by david-christiansen
April 26, 2024 12:09 3m 10s incr-tactic
incr-tactic
April 26, 2024 12:09 3m 10s
feat: incremental elaboration of Verso documents Check for copyright header and too-big Lean imports #17: Pull request #78 synchronize by david-christiansen
April 26, 2024 12:09 15s incr-tactic
incr-tactic
April 26, 2024 12:09 15s
Simplify API, enable interactive diagnostics Continuous Integration #227: Commit 7580126 pushed by david-christiansen
April 26, 2024 12:09 3m 7s incr-tactic
incr-tactic
April 26, 2024 12:09 3m 7s
feat: incremental elaboration of Verso documents Continuous Integration #226: Pull request #78 synchronize by david-christiansen
April 26, 2024 10:18 2m 2s incr-tactic
incr-tactic
April 26, 2024 10:18 2m 2s
feat: incremental elaboration of Verso documents Check for copyright header and too-big Lean imports #16: Pull request #78 synchronize by david-christiansen
April 26, 2024 10:18 15s incr-tactic
incr-tactic
April 26, 2024 10:18 15s
Refactor incremental elaboration helper Continuous Integration #225: Commit 822dc23 pushed by david-christiansen
April 26, 2024 10:17 2m 3s incr-tactic
incr-tactic
April 26, 2024 10:17 2m 3s
feat: incremental elaboration of Verso documents Check for copyright header and too-big Lean imports #15: Pull request #78 synchronize by david-christiansen
April 26, 2024 09:16 14s incr-tactic
incr-tactic
April 26, 2024 09:16 14s
feat: incremental elaboration of Verso documents Continuous Integration #224: Pull request #78 synchronize by david-christiansen
April 26, 2024 09:16 2m 15s incr-tactic
incr-tactic
April 26, 2024 09:16 2m 15s
fix: finer-grained Lean imports Continuous Integration #223: Commit 6e13152 pushed by david-christiansen
April 26, 2024 09:16 2m 13s incr-tactic
incr-tactic
April 26, 2024 09:16 2m 13s
feat: incremental elaboration of Verso documents Check for copyright header and too-big Lean imports #14: Pull request #78 synchronize by david-christiansen
April 22, 2024 05:06 12s incr-tactic
incr-tactic
April 22, 2024 05:06 12s
feat: incremental elaboration of Verso documents Continuous Integration #222: Pull request #78 synchronize by david-christiansen
April 22, 2024 05:06 2m 52s incr-tactic
incr-tactic
April 22, 2024 05:06 2m 52s
Merge branch 'main' into incr-tactic Continuous Integration #221: Commit 11c1cd5 pushed by david-christiansen
April 22, 2024 05:06 2m 56s incr-tactic
incr-tactic
April 22, 2024 05:06 2m 56s
chore: bump subverso Continuous Integration #220: Commit 74a3b27 pushed by david-christiansen
April 19, 2024 14:40 2m 54s main
main
April 19, 2024 14:40 2m 54s
chore: bump subverso Continuous Integration #219: Pull request #81 opened by david-christiansen
April 19, 2024 14:27 2m 47s subverso-bump-elan-fix
subverso-bump-elan-fix
April 19, 2024 14:27 2m 47s
chore: bump subverso Check for copyright header and too-big Lean imports #13: Pull request #81 opened by david-christiansen
April 19, 2024 14:27 11s subverso-bump-elan-fix
subverso-bump-elan-fix
April 19, 2024 14:27 11s
chore: bump subverso Continuous Integration #218: Commit c7b7d49 pushed by david-christiansen
April 19, 2024 14:26 2m 53s subverso-bump-elan-fix
subverso-bump-elan-fix
April 19, 2024 14:26 2m 53s
Merge commit 'a2945308a57483b75d13913e39b3fca662efd5bc' into joachim/… Continuous Integration #217: Commit 3f12e7e pushed by nomeata
April 19, 2024 14:07 1m 56s joachim/lake-from-path
joachim/lake-from-path
April 19, 2024 14:07 1m 56s
fix: stack info hovers in a single window Continuous Integration #216: Commit a294530 pushed by david-christiansen
April 19, 2024 10:43 2m 49s main
main
April 19, 2024 10:43 2m 49s
fix: stack info hovers in a single window Continuous Integration #215: Pull request #79 opened by david-christiansen
April 19, 2024 09:47 3m 2s stack-info
stack-info
April 19, 2024 09:47 3m 2s
fix: stack info hovers in a single window Check for copyright header and too-big Lean imports #12: Pull request #79 opened by david-christiansen
April 19, 2024 09:47 17s stack-info
stack-info
April 19, 2024 09:47 17s
fix: stack info hovers in a single window Continuous Integration #214: Commit 6cc9b89 pushed by david-christiansen
April 19, 2024 09:46 3m 4s stack-info
stack-info
April 19, 2024 09:46 3m 4s
feat: incremental elaboration of Verso documents Check for copyright header and too-big Lean imports #11: Pull request #78 synchronize by david-christiansen
April 19, 2024 06:39 12s incr-tactic
incr-tactic
April 19, 2024 06:39 12s
feat: incremental elaboration of Verso documents Continuous Integration #213: Pull request #78 synchronize by david-christiansen
April 19, 2024 06:39 1m 57s incr-tactic
incr-tactic
April 19, 2024 06:39 1m 57s
ProTip! You can narrow down the results and go further in time using created:<2024-04-19 or the other filters available.