Skip to content

Actions: leanprover-community/lean4-metaprogramming-book

Actions

Deploy to github pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
61 workflow runs
61 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: Use Option.get instead of Options.get Deploy to github pages #65: Pull request #154 opened by eric-wieser
January 13, 2025 13:45 35s Option.get
Option.get
January 13, 2025 13:45 35s
Merge pull request #152 from Seasawher/update Deploy to github pages #64: Commit 59e4e66 pushed by Julian
December 25, 2024 13:16 36s master
master
December 25, 2024 13:16 36s
fix typos and update CI Deploy to github pages #63: Pull request #152 opened by Seasawher
December 25, 2024 10:30 23s Seasawher:update
Seasawher:update
December 25, 2024 10:30 23s
Merge pull request #151 from Seasawher/update-prettyprint Deploy to github pages #62: Commit e89f5b2 pushed by Julian
December 24, 2024 16:09 40s master
master
December 24, 2024 16:09 40s
update pretty print section Deploy to github pages #61: Pull request #151 opened by Seasawher
December 24, 2024 16:03 29s Seasawher:update-prettyprint
Seasawher:update-prettyprint
December 24, 2024 16:03 29s
Merge pull request #150 from Seasawher/update-lean Deploy to github pages #60: Commit f3bf762 pushed by Julian
December 23, 2024 03:30 39s master
master
December 23, 2024 03:30 39s
update Lean version and replace std to batteries Deploy to github pages #59: Pull request #150 opened by Seasawher
December 22, 2024 07:34 24s Seasawher:update-lean
Seasawher:update-lean
December 22, 2024 07:34 24s
Merge pull request #148 from leanprover-community/bryangingechen-patch-1 Deploy to github pages #57: Commit 3f28838 pushed by Julian
November 5, 2024 23:08 36s master
master
November 5, 2024 23:08 36s
upgrade to actions/upload-artifact@v4 Deploy to github pages #56: Pull request #148 opened by bryangingechen
November 5, 2024 23:00 21s bryangingechen-patch-1
bryangingechen-patch-1
November 5, 2024 23:00 21s
Merge pull request #147 from JLimperg/capture-avoiding-subst Deploy to github pages #55: Commit a7fefe8 pushed by Julian
October 7, 2024 03:02 36s master
master
October 7, 2024 03:02 36s
Merge pull request #146 from placidex/MetaM-minor-fixes Deploy to github pages #54: Commit 7246ae1 pushed by Julian
September 29, 2024 19:00 35s master
master
September 29, 2024 19:00 35s
Add set_option pp.explicit false in Weak Head Normal Form example Deploy to github pages #53: Pull request #146 synchronize by kpadmasola
September 29, 2024 16:46 28s placidex:MetaM-minor-fixes
placidex:MetaM-minor-fixes
September 29, 2024 16:46 28s
03: fix explanation of capture-avoiding substitution Deploy to github pages #52: Pull request #147 synchronize by JLimperg
September 29, 2024 11:27 21s JLimperg:capture-avoiding-subst
JLimperg:capture-avoiding-subst
September 29, 2024 11:27 21s
03: fix explanation of capture-avoiding substitution Deploy to github pages #51: Pull request #147 opened by JLimperg
September 29, 2024 11:27 22s JLimperg:capture-avoiding-subst
JLimperg:capture-avoiding-subst
September 29, 2024 11:27 22s
Add set_option pp.explicit false in Weak Head Normal Form example Deploy to github pages #50: Pull request #146 opened by kpadmasola
September 29, 2024 04:02 34s placidex:MetaM-minor-fixes
placidex:MetaM-minor-fixes
September 29, 2024 04:02 34s
Merge pull request #144 from adomasbaliuka/patch-1 Deploy to github pages #49: Commit e474680 pushed by Julian
August 29, 2024 11:39 44s master
master
August 29, 2024 11:39 44s
Fixes universe levels in Chapter 03 "Expressions" Deploy to github pages #48: Pull request #144 synchronize by adomasbaliuka
August 29, 2024 08:48 23s adomasbaliuka:patch-1
adomasbaliuka:patch-1
August 29, 2024 08:48 23s
Merge pull request #142 from ydewit/master Deploy to github pages #47: Commit 5696942 pushed by Julian
August 28, 2024 13:23 47s master
master
August 28, 2024 13:23 47s
Merge pull request #143 from adomasbaliuka/macros_wording_nitpick Deploy to github pages #46: Commit c407b65 pushed by Julian
August 28, 2024 13:22 41s master
master
August 28, 2024 13:22 41s
Merge pull request #145 from placidex/typo Deploy to github pages #45: Commit 43b700d pushed by Julian
August 27, 2024 16:03 44s master
master
August 27, 2024 16:03 44s
Fix for typo in custom tactic example Deploy to github pages #44: Pull request #145 opened by kpadmasola
August 27, 2024 06:08 22s placidex:typo
placidex:typo
August 27, 2024 06:08 22s
Macros wording nitpicks Deploy to github pages #42: Pull request #143 opened by adomasbaliuka
August 5, 2024 09:09 23s adomasbaliuka:macros_wording_nitpick
adomasbaliuka:macros_wording_nitpick
August 5, 2024 09:09 23s
add "run on Lean4 Playground" button Deploy to github pages #39: Pull request #136 synchronize by Seasawher
April 26, 2024 16:12 19s Seasawher:add-run-button
Seasawher:add-run-button
April 26, 2024 16:12 19s
add "run on Lean4 Playground" button Deploy to github pages #38: Pull request #136 synchronize by Seasawher
April 26, 2024 16:08 23s Seasawher:add-run-button
Seasawher:add-run-button
April 26, 2024 16:08 23s
Merge pull request #131 from Seasawher/using-check-failure Deploy to github pages #37: Commit 4ffaf96 pushed by Julian
April 21, 2024 07:32 38s master
master
April 21, 2024 07:32 38s