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

test: Add solutions
Deploy to github pages #22: Pull request #1 opened by Seasawher
January 14, 2024 02:35 34s add-solutions
January 14, 2024 02:35 34s
test: Add solutions
Book #27: Pull request #1 opened by Seasawher
January 14, 2024 02:35 1m 15s add-solutions
January 14, 2024 02:35 1m 15s
TEST: use SUMMARY for pandoc
Deploy to github pages #21: Commit 0daefed pushed by Seasawher
January 14, 2024 02:34 35s add-solutions
January 14, 2024 02:34 35s
TEST: use SUMMARY for pandoc
Book #26: Commit 0daefed pushed by Seasawher
January 14, 2024 02:34 1m 16s add-solutions
January 14, 2024 02:34 1m 16s
add section of solutions for mdbook
Book #25: Commit 8a0fbcd pushed by Seasawher
January 14, 2024 02:28 2m 3s add-solutions
January 14, 2024 02:28 2m 3s
add section of solutions for mdbook
Deploy to github pages #20: Commit 8a0fbcd pushed by Seasawher
January 14, 2024 02:28 31s add-solutions
January 14, 2024 02:28 31s
Merge pull request #129 from Seasawher/broken-links
Book #24: Commit 7cb76d7 pushed by Seasawher
January 14, 2024 02:04 1m 45s master
January 14, 2024 02:04 1m 45s
Merge pull request #129 from Seasawher/broken-links
Deploy to github pages #19: Commit 7cb76d7 pushed by Seasawher
January 14, 2024 02:04 47s master
January 14, 2024 02:04 47s
fix: broken link
Deploy to github pages #18: Commit 99ad23d pushed by Seasawher
January 14, 2024 01:47 28s broken-links
January 14, 2024 01:47 28s
fix: broken link
Book #23: Commit 99ad23d pushed by Seasawher
January 14, 2024 01:47 1m 56s broken-links
January 14, 2024 01:47 1m 56s
Merge pull request #127 from Seasawher/update-ci-trigger
Book #22: Commit bd6f672 pushed by Seasawher
January 14, 2024 01:36 1m 46s master
January 14, 2024 01:36 1m 46s
Merge pull request #127 from Seasawher/update-ci-trigger
Deploy to github pages #17: Commit bd6f672 pushed by Seasawher
January 14, 2024 01:36 52s master
January 14, 2024 01:36 52s
Run CI on PRs that come from forks #107
Deploy to github pages #16: Commit e112e5f pushed by Seasawher
January 13, 2024 17:25 27s update-ci-trigger
January 13, 2024 17:25 27s
Run CI on PRs that come from forks #107
Book #21: Commit e112e5f pushed by Seasawher
January 13, 2024 17:25 1m 43s update-ci-trigger
January 13, 2024 17:25 1m 43s
Merge pull request #121 from Seasawher/mdbook
Deploy to github pages #15: Commit d38dad9 pushed by Seasawher
January 13, 2024 17:23 50s master
January 13, 2024 17:23 50s
Merge pull request #121 from Seasawher/mdbook
Book #20: Commit d38dad9 pushed by Seasawher
January 13, 2024 17:23 1m 40s master
January 13, 2024 17:23 1m 40s
modify workflow: don't deploy from non-master branch
Book #19: Commit 71dd66d pushed by Seasawher
January 11, 2024 00:30 1m 41s mdbook
January 11, 2024 00:30 1m 41s
modify workflow: don't deploy from non-master branch
Deploy to github pages #14: Commit 71dd66d pushed by Seasawher
January 11, 2024 00:30 30s mdbook
January 11, 2024 00:30 30s
modify workflow: all push will trigger deploy workflow
Book #18: Commit 75a2f82 pushed by Seasawher
January 11, 2024 00:25 2m 10s mdbook
January 11, 2024 00:25 2m 10s
modify workflow: all push will trigger deploy workflow
Deploy to github pages #13: Commit 75a2f82 pushed by Seasawher
January 11, 2024 00:25 33s mdbook
January 11, 2024 00:25 33s
Deploy to github pages
Deploy to github pages #12: Manually run by Seasawher
January 11, 2024 00:15 36s mdbook
January 11, 2024 00:15 36s
modify deploy workflow using mdgen
Book #17: Commit 8b8b7fa pushed by Seasawher
January 11, 2024 00:15 1m 53s mdbook
January 11, 2024 00:15 1m 53s
modify deploy workflows using mdgen
Book #16: Commit 10216e3 pushed by Seasawher
January 11, 2024 00:12 18s mdbook
January 11, 2024 00:12 18s
Merge branch 'leanprover-community:master' into master
Book #15: Commit c753cff pushed by Seasawher
January 11, 2024 00:05 1m 11s mdbook
January 11, 2024 00:05 1m 11s
Merge branch 'leanprover-community:master' into master
Book #14: Commit c753cff pushed by Seasawher
January 11, 2024 00:02 2m 30s master
January 11, 2024 00:02 2m 30s