Skip to content

Actions: leanprover-community/lean4-metaprogramming-book

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
181 workflow runs
181 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update mdgen and hide implementation detail Book #185: Pull request #165 opened by Seasawher
February 28, 2025 23:12 2m 59s Seasawher:patch
Seasawher:patch
February 28, 2025 23:12 2m 59s
update mdgen and hide implementation detail Deploy to github pages #86: Pull request #165 opened by Seasawher
February 28, 2025 23:12 34s Seasawher:patch
Seasawher:patch
February 28, 2025 23:12 34s
update mdgen and hide implementation detail CI #51: Pull request #165 opened by Seasawher
February 28, 2025 23:12 34s Seasawher:patch
Seasawher:patch
February 28, 2025 23:12 34s
Message assertion Book #184: Pull request #158 synchronize by Seasawher
February 28, 2025 22:59 3m 0s Seasawher:message-assertion
Seasawher:message-assertion
February 28, 2025 22:59 3m 0s
Message assertion CI #50: Pull request #158 synchronize by Seasawher
February 28, 2025 22:59 33s Seasawher:message-assertion
Seasawher:message-assertion
February 28, 2025 22:59 33s
Message assertion Deploy to github pages #85: Pull request #158 synchronize by Seasawher
February 28, 2025 22:59 44s Seasawher:message-assertion
Seasawher:message-assertion
February 28, 2025 22:59 44s
Merge pull request #164 from 6elphegor/patch-2 Book #183: Commit 731400d pushed by Julian
February 28, 2025 21:36 3m 18s master
master
February 28, 2025 21:36 3m 18s
Merge pull request #164 from 6elphegor/patch-2 CI #49: Commit 731400d pushed by Julian
February 28, 2025 21:36 24s master
master
February 28, 2025 21:36 24s
Merge pull request #164 from 6elphegor/patch-2 Deploy to github pages #84: Commit 731400d pushed by Julian
February 28, 2025 21:36 39s master
master
February 28, 2025 21:36 39s
Update 06_macros.lean CI #48: Pull request #164 opened by 6elphegor
February 28, 2025 21:21 25s 6elphegor:patch-2
6elphegor:patch-2
February 28, 2025 21:21 25s
Update 06_macros.lean Book #182: Pull request #164 opened by 6elphegor
February 28, 2025 21:21 2m 39s 6elphegor:patch-2
6elphegor:patch-2
February 28, 2025 21:21 2m 39s
Update 06_macros.lean Deploy to github pages #83: Pull request #164 opened by 6elphegor
February 28, 2025 21:21 27s 6elphegor:patch-2
6elphegor:patch-2
February 28, 2025 21:21 27s
Merge pull request #163 from 6elphegor/patch-1 Book #181: Commit 85701a2 pushed by Julian
February 28, 2025 20:23 2m 48s master
master
February 28, 2025 20:23 2m 48s
Merge pull request #163 from 6elphegor/patch-1 Deploy to github pages #82: Commit 85701a2 pushed by Julian
February 28, 2025 20:23 55s master
master
February 28, 2025 20:23 55s
Merge pull request #163 from 6elphegor/patch-1 CI #47: Commit 85701a2 pushed by Julian
February 28, 2025 20:23 23s master
master
February 28, 2025 20:23 23s
Update 05_syntax.lean CI #46: Pull request #163 opened by 6elphegor
February 28, 2025 19:58 28s 6elphegor:patch-1
6elphegor:patch-1
February 28, 2025 19:58 28s
Update 05_syntax.lean Book #180: Pull request #163 opened by 6elphegor
February 28, 2025 19:58 2m 22s 6elphegor:patch-1
6elphegor:patch-1
February 28, 2025 19:58 2m 22s
Update 05_syntax.lean Deploy to github pages #81: Pull request #163 opened by 6elphegor
February 28, 2025 19:58 25s 6elphegor:patch-1
6elphegor:patch-1
February 28, 2025 19:58 25s
Merge pull request #161 from Seasawher/file-play Deploy to github pages #79: Commit 050c54c pushed by Julian
February 12, 2025 13:55 52s master
master
February 12, 2025 13:55 52s
Merge pull request #161 from Seasawher/file-play CI #44: Commit 050c54c pushed by Julian
February 12, 2025 13:55 24s master
master
February 12, 2025 13:55 24s
Merge pull request #161 from Seasawher/file-play Book #178: Commit 050c54c pushed by Julian
February 12, 2025 13:55 2m 38s master
master
February 12, 2025 13:55 2m 38s
feat: add file play button Deploy to github pages #78: Pull request #161 opened by Seasawher
February 12, 2025 13:47 26s Seasawher:file-play
Seasawher:file-play
February 12, 2025 13:47 26s
feat: add file play button CI #43: Pull request #161 opened by Seasawher
February 12, 2025 13:47 22s Seasawher:file-play
Seasawher:file-play
February 12, 2025 13:47 22s
feat: add file play button Book #177: Pull request #161 opened by Seasawher
February 12, 2025 13:47 3m 18s Seasawher:file-play
Seasawher:file-play
February 12, 2025 13:47 3m 18s
Merge pull request #160 from Seasawher/codeblock-play Book #176: Commit 9ebfb64 pushed by Julian
February 12, 2025 11:55 2m 44s master
master
February 12, 2025 11:55 2m 44s