Skip to content
This repository has been archived by the owner on Oct 15, 2023. It is now read-only.

Actions: Seasawher/theorem_proving_in_lean4_ja

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
pages build and deployment pages-build-deployment #12: by github-pages bot
June 24, 2023 05:09 35s
June 24, 2023 05:09 35s
Merge branch 'develop' into main github pages #9: Commit 1a5eb11 pushed by Seasawher
June 24, 2023 05:09 14s main
main
June 24, 2023 05:09 14s
pages build and deployment pages-build-deployment #11: by github-pages bot
June 23, 2023 17:44 30s
June 23, 2023 17:44 30s
Merge branch 'develop' into main github pages #8: Commit b4752f0 pushed by Seasawher
June 23, 2023 17:44 18s main
main
June 23, 2023 17:44 18s
pages build and deployment pages-build-deployment #10: by github-pages bot
June 23, 2023 12:02 34s
June 23, 2023 12:02 34s
Merge branch 'develop' github pages #7: Commit b422aeb pushed by Seasawher
June 23, 2023 12:02 14s main
main
June 23, 2023 12:02 14s
最初のページを title page ではなくて README にする github pages #6: Commit cabb63e pushed by Seasawher
June 21, 2023 12:31 18s main
main
June 21, 2023 12:31 18s
README作成 github pages #5: Commit 49c452e pushed by Seasawher
June 21, 2023 12:28 12s main
main
June 21, 2023 12:28 12s
github pages github pages #4: Manually run by Seasawher
June 21, 2023 12:14 15s main
main
June 21, 2023 12:14 15s
gh-pagesにデプロイすることを明示的に示す github pages #3: Commit e49bdb9 pushed by Seasawher
June 21, 2023 12:11 19s main
main
June 21, 2023 12:11 19s
deployワークフローを追加 github pages #2: Commit 515036a pushed by Seasawher
June 21, 2023 12:05 22s main
main
June 21, 2023 12:05 22s
ワークフローを修正 mdbook test using latest lean4 bits #2: Commit e93042d pushed by Seasawher
June 21, 2023 10:47 1m 22s master
master
June 21, 2023 10:47 1m 22s
github pages github pages #1: Manually run by Seasawher
June 21, 2023 10:34 19s master
master
June 21, 2023 10:34 19s
chore: fix calc syntax description mdbook test using latest lean4 bits #1: Commit 9515278 pushed by Seasawher
June 21, 2023 10:25 1m 47s master
master
June 21, 2023 10:25 1m 47s