Skip to content

Actions: yuma-mizuno/lean-math-workshop

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Mk exercise を利用して解答と演習問題の整合性を自動的に保つ Test #6: Pull request #25 opened by Seasawher
January 18, 2024 04:50 1m 42s Seasawher:mk-exercise
Seasawher:mk-exercise
January 18, 2024 04:50 1m 42s
mk_exercise を利用して，exercise を本文から生成する Test #5: Pull request #24 opened by Seasawher
January 16, 2024 11:27 1m 59s Seasawher:master
Seasawher:master
January 16, 2024 11:27 1m 59s
Merge pull request #19 from Seasawher/lean-update Test #4: Commit 2d86105 pushed by yuma-mizuno
January 14, 2024 22:06 1m 52s master
master
January 14, 2024 22:06 1m 52s
Lean update Test #3: Pull request #19 synchronize by yuma-mizuno
January 13, 2024 16:51 2m 7s Seasawher:lean-update
Seasawher:lean-update
January 13, 2024 16:51 2m 7s
Lean update Test #2: Pull request #19 synchronize by Seasawher
January 13, 2024 16:18 1m 14s Seasawher:lean-update
Seasawher:lean-update
January 13, 2024 16:18 1m 14s
Merge pull request #23 from Seasawher/test-workflow Test #1: Commit 915f500 pushed by yuma-mizuno
January 13, 2024 16:04 1m 28s master
master
January 13, 2024 16:04 1m 28s