Skip to content

Actions: leanprover-community/lean4-metaprogramming-book

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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