Skip to content

Actions: lean-ja/lean99

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
501 workflow runs
501 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add update workflow
Test #124: Commit 8077605 pushed by Seasawher
June 16, 2024 15:38 19s main
June 16, 2024 15:38 19s
add update workflow
Deploy to github pages #124: Commit 8077605 pushed by Seasawher
June 16, 2024 15:38 17s main
June 16, 2024 15:38 17s
update version of workflow
Test #122: Commit d05c00a pushed by Seasawher
June 16, 2024 15:37 17s main
June 16, 2024 15:37 17s
update version of workflow
Deploy to github pages #122: Commit d05c00a pushed by Seasawher
June 16, 2024 15:37 40s main
June 16, 2024 15:37 40s
Merge pull request #18 from lean-ja/dependabot/github_actions/actions…
Deploy to github pages #121: Commit 806b3dc pushed by Seasawher
June 16, 2024 15:33 12s main
June 16, 2024 15:33 12s
June 16, 2024 15:33 17s
dependabot の設定を追加する
Deploy to github pages #117: Commit 3da99f7 pushed by Seasawher
June 16, 2024 15:32 18s main
June 16, 2024 15:32 18s
dependabot の設定を追加する
Test #117: Commit 3da99f7 pushed by Seasawher
June 16, 2024 15:32 28s main
June 16, 2024 15:32 28s
ワークフローの修正: lean-action を使用する
Test #116: Commit 15877ec pushed by Seasawher
June 16, 2024 15:32 21s main
June 16, 2024 15:32 21s
ワークフローの修正: lean-action を使用する
Deploy to github pages #116: Commit 15877ec pushed by Seasawher
June 16, 2024 15:32 17s main
June 16, 2024 15:32 17s
バージョン更新
Test #115: Commit 07f546c pushed by Seasawher
June 16, 2024 15:28 12s main
June 16, 2024 15:28 12s
バージョン更新
Deploy to github pages #115: Commit 07f546c pushed by Seasawher
June 16, 2024 15:28 17s main
June 16, 2024 15:28 17s
add P38
Test #114: Commit 82af385 pushed by Seasawher
May 12, 2024 10:09 27s main
May 12, 2024 10:09 27s
add P38
Deploy to github pages #114: Commit 82af385 pushed by Seasawher
May 12, 2024 10:09 47s main
May 12, 2024 10:09 47s
bump toolchain to v4.8.0-rc1
Test #113: Commit c9e6a0f pushed by Seasawher
May 10, 2024 13:52 25s main
May 10, 2024 13:52 25s
ProTip! You can narrow down the results and go further in time using created:<2024-05-10 or the other filters available.