Skip to content

Actions: leanprover/verso

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
221 workflow run results
221 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: incremental elaboration of Verso documents Continuous Integration #211: Pull request #78 synchronize by david-christiansen
April 18, 2024 21:44 2m 53s incr-tactic
incr-tactic
April 18, 2024 21:44 2m 53s
feat: incremental elaboration of Verso documents Check for copyright header and too-big Lean imports #10: Pull request #78 synchronize by david-christiansen
April 18, 2024 21:44 12s incr-tactic
incr-tactic
April 18, 2024 21:44 12s
Merge branch 'main' into incr-tactic Continuous Integration #210: Commit 0a27a8d pushed by david-christiansen
April 18, 2024 21:44 1m 28s incr-tactic
incr-tactic
April 18, 2024 21:44 1m 28s
Refactor incremental document elaboration Continuous Integration #209: Commit 954c8ee pushed by david-christiansen
April 18, 2024 21:36 2m 57s incr-tactic
incr-tactic
April 18, 2024 21:36 2m 57s
Bump subverso Continuous Integration #208: Commit 93f84d7 pushed by nomeata
April 17, 2024 12:32 2m 2s joachim/lake-from-path
joachim/lake-from-path
April 17, 2024 12:32 2m 2s
Bump subverso Continuous Integration #207: Commit 5366da5 pushed by nomeata
April 17, 2024 12:31 1m 58s joachim/lake-from-path
joachim/lake-from-path
April 17, 2024 12:31 1m 58s
Bump subverso Continuous Integration #206: Commit faa0fa3 pushed by nomeata
April 17, 2024 12:30 1m 44s joachim/lake-from-path
joachim/lake-from-path
April 17, 2024 12:30 1m 44s
Use subverso with nix-fix Continuous Integration #205: Commit 39ea483 pushed by nomeata
April 17, 2024 09:29 1m 54s joachim/lake-from-path
joachim/lake-from-path
April 17, 2024 09:29 1m 54s
Use subverso with nix-fix Continuous Integration #204: Commit 71f9c28 pushed by nomeata
April 17, 2024 09:26 2m 12s joachim/lake-from-path
joachim/lake-from-path
April 17, 2024 09:26 2m 12s
Add missing docstrings Continuous Integration #203: Commit e7ea8fd pushed by david-christiansen
April 9, 2024 09:05 3m 36s main
main
April 9, 2024 09:05 3m 36s
feat: basic inclusion of docstrings in manuals Continuous Integration #202: Pull request #73 synchronize by david-christiansen
April 9, 2024 08:37 2m 49s manual-exts
manual-exts
April 9, 2024 08:37 2m 49s
feat: basic inclusion of docstrings in manuals Check for copyright header and too-big Lean imports #9: Pull request #73 synchronize by david-christiansen
April 9, 2024 08:37 11s manual-exts
manual-exts
April 9, 2024 08:37 11s
Add missing docstrings Continuous Integration #201: Commit b6c2d10 pushed by david-christiansen
April 9, 2024 08:37 2m 52s manual-exts
manual-exts
April 9, 2024 08:37 2m 52s
chore: Incremental elaboration of Verso (first draft) Continuous Integration #200: Commit 2ab94df pushed by david-christiansen
April 8, 2024 20:03 42s incr-tactic
incr-tactic
April 8, 2024 20:03 42s
chore: work with newer Lean core Continuous Integration #199: Commit 52125ee pushed by david-christiansen
April 8, 2024 19:55 2m 50s main
main
April 8, 2024 19:55 2m 50s
chore: work with newer Lean core Continuous Integration #198: Pull request #75 synchronize by david-christiansen
April 8, 2024 19:52 2m 49s bump-nightly
bump-nightly
April 8, 2024 19:52 2m 49s
chore: work with newer Lean core Check for copyright header and too-big Lean imports #8: Pull request #75 synchronize by david-christiansen
April 8, 2024 19:52 10s bump-nightly
bump-nightly
April 8, 2024 19:52 10s
chore: work with newer Lean core Continuous Integration #197: Commit b40fdb2 pushed by david-christiansen
April 8, 2024 19:52 2m 43s bump-nightly
bump-nightly
April 8, 2024 19:52 2m 43s
chore: work with newer Lean core Check for copyright header and too-big Lean imports #7: Pull request #75 opened by david-christiansen
April 8, 2024 19:45 13s bump-nightly
bump-nightly
April 8, 2024 19:45 13s
chore: work with newer Lean core Continuous Integration #196: Pull request #75 opened by david-christiansen
April 8, 2024 19:45 2m 2s bump-nightly
bump-nightly
April 8, 2024 19:45 2m 2s
chore: work with newer Lean core Continuous Integration #195: Commit fcf2f32 pushed by david-christiansen
April 8, 2024 19:45 2m 17s bump-nightly
bump-nightly
April 8, 2024 19:45 2m 17s
chore: Incremental elaboration of Verso (first draft) Continuous Integration #194: Commit bf3d608 pushed by david-christiansen
April 8, 2024 15:03 17s incr-tactic
incr-tactic
April 8, 2024 15:03 17s
feat: basic inclusion of docstrings in manuals Continuous Integration #193: Pull request #73 synchronize by david-christiansen
April 5, 2024 13:22 1m 41s manual-exts
manual-exts
April 5, 2024 13:22 1m 41s
feat: basic inclusion of docstrings in manuals Check for copyright header and too-big Lean imports #6: Pull request #73 synchronize by david-christiansen
April 5, 2024 13:22 18s manual-exts
manual-exts
April 5, 2024 13:22 18s
Add missing docstrings Continuous Integration #192: Commit 6829f5e pushed by david-christiansen
April 5, 2024 13:20 1m 26s manual-exts
manual-exts
April 5, 2024 13:20 1m 26s