Skip to content
This repository has been archived by the owner on Jan 5, 2025. It is now read-only.

Actions: lean-ja/mathematics_in_lean_source

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
427 workflow runs
427 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

C04/S02翻訳 ci #17: Pull request #29 opened by s-taiga
January 27, 2024 08:37 1m 50s C04/S02
C04/S02
January 27, 2024 08:37 1m 50s
C04/S02翻訳 Deploy to GitHub Pages #10: Pull request #29 opened by s-taiga
January 27, 2024 08:37 28s C04/S02
C04/S02
January 27, 2024 08:37 28s
読み合わせ実施 ci #16: Commit 658845d pushed by s-taiga
January 25, 2024 14:09 2m 4s C02/S02
C02/S02
January 25, 2024 14:09 2m 4s
C04/S02割当 (#28) ci #15: Commit af10c5f pushed by s-taiga
January 25, 2024 12:49 1m 46s master
master
January 25, 2024 12:49 1m 46s
C04/S02割当 (#28) Deploy to GitHub Pages #9: Commit af10c5f pushed by s-taiga
January 25, 2024 12:49 42s master
master
January 25, 2024 12:49 42s
C04/S02割当 Deploy to GitHub Pages #8: Pull request #28 opened by s-taiga
January 25, 2024 12:46 31s s-taiga-patch-1
s-taiga-patch-1
January 25, 2024 12:46 31s
C04/S02割当 ci #14: Pull request #28 opened by s-taiga
January 25, 2024 12:46 1m 46s s-taiga-patch-1
s-taiga-patch-1
January 25, 2024 12:46 1m 46s
C07/S01翻訳 ci #13: Pull request #27 opened by s-taiga
January 23, 2024 14:57 1m 49s C07/S01
C07/S01
January 23, 2024 14:57 1m 49s
C07/S01翻訳 Deploy to GitHub Pages #7: Pull request #27 opened by s-taiga
January 23, 2024 14:57 26s C07/S01
C07/S01
January 23, 2024 14:57 26s
C07/S01翻訳 ci #12: Commit 72fa192 pushed by s-taiga
January 23, 2024 14:57 2m 1s C07/S01
C07/S01
January 23, 2024 14:57 2m 1s
C02/S02和訳 ci #11: Pull request #4 synchronize by s-taiga
January 23, 2024 14:08 1m 47s C02/S02
C02/S02
January 23, 2024 14:08 1m 47s
C02/S02和訳 Deploy to GitHub Pages #6: Pull request #4 synchronize by s-taiga
January 23, 2024 14:08 32s C02/S02
C02/S02
January 23, 2024 14:08 32s
読み合わせ実施 ci #10: Commit 99ed60d pushed by s-taiga
January 23, 2024 14:08 2m 0s C02/S02
C02/S02
January 23, 2024 14:08 2m 0s
Merge pull request #19 from lean-ja/C02/S01 ci #9: Commit f836a01 pushed by Seasawher
January 18, 2024 14:31 1m 58s master
master
January 18, 2024 14:31 1m 58s
Merge pull request #19 from lean-ja/C02/S01 Deploy to GitHub Pages #5: Commit f836a01 pushed by Seasawher
January 18, 2024 14:31 46s master
master
January 18, 2024 14:31 46s
C02/S01　和訳 Deploy to GitHub Pages #4: Pull request #19 synchronize by Seasawher
January 18, 2024 14:29 32s C02/S01
C02/S01
January 18, 2024 14:29 32s
C02/S01　和訳 ci #8: Pull request #19 synchronize by Seasawher
January 18, 2024 14:29 1m 52s C02/S01
C02/S01
January 18, 2024 14:29 1m 52s
読み合わせ終了 ci #7: Commit 47c445b pushed by Taka0007
January 18, 2024 14:20 1m 53s C02/S01
C02/S01
January 18, 2024 14:20 1m 53s
C02/S01読み合わせ実施 ci #6: Commit 1c2679f pushed by Taka0007
January 16, 2024 14:24 1m 49s C02/S01
C02/S01
January 16, 2024 14:24 1m 49s
Co-authored-by: s-taiga <[email protected]> ci #5: Commit a0402dc pushed by Taka0007
January 16, 2024 14:05 1m 59s C02/S01
C02/S01
January 16, 2024 14:05 1m 59s
Merge pull request #25 from lean-ja/deploy-workflow Deploy to GitHub Pages #3: Commit 35d5e8d pushed by Seasawher
January 14, 2024 03:58 44s master
master
January 14, 2024 03:58 44s
Merge pull request #25 from lean-ja/deploy-workflow ci #4: Commit 35d5e8d pushed by Seasawher
January 14, 2024 03:58 1m 44s master
master
January 14, 2024 03:58 1m 44s
デプロイワークフローの設定 ci #3: Pull request #25 synchronize by Seasawher
January 11, 2024 15:23 1m 58s deploy-workflow
deploy-workflow
January 11, 2024 15:23 1m 58s
デプロイワークフローの設定 Deploy to GitHub Pages #2: Pull request #25 synchronize by Seasawher
January 11, 2024 15:23 28s deploy-workflow
deploy-workflow
January 11, 2024 15:23 28s
デプロイワークフローの設定 Deploy to GitHub Pages #1: Pull request #25 synchronize by Seasawher
January 11, 2024 15:21 25s deploy-workflow
deploy-workflow
January 11, 2024 15:21 25s
ProTip! You can narrow down the results and go further in time using created:<2024-01-11 or the other filters available.