Skip to content

Actions: Seasawher/lean4-metaprogramming-book

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
74 workflow runs
74 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #152 from Seasawher/update Book #37: Commit 59e4e66 pushed by Seasawher
December 29, 2024 07:54 1m 49s master
master
December 29, 2024 07:54 1m 49s
Merge pull request #152 from Seasawher/update CI #5: Commit 59e4e66 pushed by Seasawher
December 29, 2024 07:54 37s master
master
December 29, 2024 07:54 37s
Merge pull request #152 from Seasawher/update Deploy to github pages #32: Commit 59e4e66 pushed by Seasawher
December 29, 2024 07:54 41s master
master
December 29, 2024 07:54 41s
Merge pull request #151 from Seasawher/update-prettyprint CI #4: Commit e89f5b2 pushed by Seasawher
December 25, 2024 04:04 20s master
master
December 25, 2024 04:04 20s
Merge pull request #151 from Seasawher/update-prettyprint Book #36: Commit e89f5b2 pushed by Seasawher
December 25, 2024 04:04 2m 5s master
master
December 25, 2024 04:04 2m 5s
Merge pull request #151 from Seasawher/update-prettyprint Deploy to github pages #31: Commit e89f5b2 pushed by Seasawher
December 25, 2024 04:04 49s master
master
December 25, 2024 04:04 49s
Merge pull request #150 from Seasawher/update-lean CI #3: Commit f3bf762 pushed by Seasawher
December 24, 2024 15:51 2m 44s master
master
December 24, 2024 15:51 2m 44s
Merge pull request #150 from Seasawher/update-lean Deploy to github pages #30: Commit f3bf762 pushed by Seasawher
December 24, 2024 15:51 43s master
master
December 24, 2024 15:51 43s
Merge pull request #150 from Seasawher/update-lean Book #35: Commit f3bf762 pushed by Seasawher
December 24, 2024 15:51 1m 59s master
master
December 24, 2024 15:51 1m 59s
Merge pull request #148 from leanprover-community/bryangingechen-patch-1 CI #2: Commit 3f28838 pushed by Seasawher
December 21, 2024 23:58 2m 38s master
master
December 21, 2024 23:58 2m 38s
Merge pull request #148 from leanprover-community/bryangingechen-patch-1 Deploy to github pages #29: Commit 3f28838 pushed by Seasawher
December 21, 2024 23:58 45s master
master
December 21, 2024 23:58 45s
Merge pull request #148 from leanprover-community/bryangingechen-patch-1 Book #34: Commit 3f28838 pushed by Seasawher
December 21, 2024 23:58 1m 47s master
master
December 21, 2024 23:58 1m 47s
Merge pull request #131 from Seasawher/using-check-failure CI #1: Commit 4ffaf96 pushed by Seasawher
April 26, 2024 16:06 24s master
master
April 26, 2024 16:06 24s
Merge pull request #131 from Seasawher/using-check-failure Book #33: Commit 4ffaf96 pushed by Seasawher
April 26, 2024 16:06 2m 0s master
master
April 26, 2024 16:06 2m 0s
Merge pull request #131 from Seasawher/using-check-failure Deploy to github pages #28: Commit 4ffaf96 pushed by Seasawher
April 26, 2024 16:06 44s master
master
April 26, 2024 16:06 44s
Merge pull request #137 from Seasawher/fix-mdbook-setting Deploy to github pages #27: Commit 7119967 pushed by Seasawher
April 15, 2024 18:47 58s master
master
April 15, 2024 18:47 58s
Merge pull request #137 from Seasawher/fix-mdbook-setting Book #32: Commit 7119967 pushed by Seasawher
April 15, 2024 18:47 2m 4s master
master
April 15, 2024 18:47 2m 4s
bug fix: invalid runCmd arguments (#134) Book #31: Commit 3ef475b pushed by Seasawher
March 27, 2024 12:08 2m 15s master
master
March 27, 2024 12:08 2m 15s
bug fix: invalid runCmd arguments (#134) Deploy to github pages #26: Commit 3ef475b pushed by Seasawher
March 27, 2024 12:08 1m 6s master
master
March 27, 2024 12:08 1m 6s
Merge pull request #130 from Seasawher/add-solutions Book #30: Commit 5307ff3 pushed by Seasawher
February 4, 2024 10:36 1m 58s master
master
February 4, 2024 10:36 1m 58s
Merge pull request #130 from Seasawher/add-solutions Deploy to github pages #25: Commit 5307ff3 pushed by Seasawher
February 4, 2024 10:36 1m 1s master
master
February 4, 2024 10:36 1m 1s
test: Add solutions Book #29: Pull request #1 synchronize by Seasawher
January 14, 2024 03:04 1m 50s add-solutions
add-solutions
January 14, 2024 03:04 1m 50s
test: Add solutions Deploy to github pages #24: Pull request #1 synchronize by Seasawher
January 14, 2024 03:04 40s add-solutions
add-solutions
January 14, 2024 03:04 40s
test: Add solutions Book #28: Pull request #1 synchronize by Seasawher
January 14, 2024 02:46 1m 52s add-solutions
add-solutions
January 14, 2024 02:46 1m 52s
test: Add solutions Deploy to github pages #23: Pull request #1 synchronize by Seasawher
January 14, 2024 02:46 30s add-solutions
add-solutions
January 14, 2024 02:46 30s