Skip to content

Actions: lean-ja/lean99

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
504 workflow runs
504 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

set periodic workflow
Deploy to github pages #90: Commit 34a7dfb pushed by Seasawher
April 4, 2024 14:44 46s main
April 4, 2024 14:44 46s
update Lean and mdgen version
Test #89: Commit 5b913e0 pushed by Seasawher
April 4, 2024 14:32 18s main
April 4, 2024 14:32 18s
update Lean and mdgen version
Deploy to github pages #89: Commit 5b913e0 pushed by Seasawher
April 4, 2024 14:32 52s main
April 4, 2024 14:32 52s
fix mdgen version and test: resolve #5
Deploy to github pages #88: Commit a8cbd7d pushed by Seasawher
April 4, 2024 14:30 43s main
April 4, 2024 14:30 43s
fix mdgen version and test: resolve #5
Test #88: Commit a8cbd7d pushed by Seasawher
April 4, 2024 14:30 24s main
April 4, 2024 14:30 24s
add difficulty to P26
Test #87: Commit e98e3e5 pushed by Seasawher
March 29, 2024 22:42 18s main
March 29, 2024 22:42 18s
add difficulty to P26
Deploy to github pages #87: Commit e98e3e5 pushed by Seasawher
March 29, 2024 22:42 51s main
March 29, 2024 22:42 51s
add P26
Deploy to github pages #86: Commit b15baaf pushed by Seasawher
March 29, 2024 22:42 47s main
March 29, 2024 22:42 47s
add P26
Test #86: Commit b15baaf pushed by Seasawher
March 29, 2024 22:42 26s main
March 29, 2024 22:42 26s
use dot notation
Deploy to github pages #85: Commit 5b18dd8 pushed by Seasawher
March 27, 2024 17:00 52s main
March 27, 2024 17:00 52s
use dot notation
Test #85: Commit 5b18dd8 pushed by Seasawher
March 27, 2024 17:00 18s main
March 27, 2024 17:00 18s
add difficulty to P25
Test #84: Commit adfdee5 pushed by Seasawher
March 27, 2024 16:25 23s main
March 27, 2024 16:25 23s
add difficulty to P25
Deploy to github pages #84: Commit adfdee5 pushed by Seasawher
March 27, 2024 16:25 56s main
March 27, 2024 16:25 56s
use --quiet option when run lake build in CI
Deploy to github pages #83: Commit c436e1a pushed by Seasawher
March 27, 2024 16:23 1m 4s main
March 27, 2024 16:23 1m 4s
use --quiet option when run lake build in CI
Test #83: Commit c436e1a pushed by Seasawher
March 27, 2024 16:23 25s main
March 27, 2024 16:23 25s
add P25
Test #82: Commit a0ae97c pushed by Seasawher
March 27, 2024 16:22 20s main
March 27, 2024 16:22 20s
add P25
Deploy to github pages #82: Commit a0ae97c pushed by Seasawher
March 27, 2024 16:22 1m 4s main
March 27, 2024 16:22 1m 4s
update README
Test #81: Commit f1ab9b7 pushed by Seasawher
March 27, 2024 02:37 16s main
March 27, 2024 02:37 16s
update README
Deploy to github pages #81: Commit f1ab9b7 pushed by Seasawher
March 27, 2024 02:37 44s main
March 27, 2024 02:37 44s
remove import-all
Test #80: Commit ff4f030 pushed by Seasawher
March 27, 2024 02:35 23s main
March 27, 2024 02:35 23s
remove import-all
Deploy to github pages #80: Commit ff4f030 pushed by Seasawher
March 27, 2024 02:35 44s main
March 27, 2024 02:35 44s
remove IO.throwServerError
Deploy to github pages #79: Commit b255022 pushed by Seasawher
March 25, 2024 13:50 54s main
March 25, 2024 13:50 54s
remove IO.throwServerError
Test #79: Commit b255022 pushed by Seasawher
March 25, 2024 13:50 21s main
March 25, 2024 13:50 21s
hide namespace
Deploy to github pages #78: Commit d3f171e pushed by Seasawher
March 25, 2024 13:40 51s main
March 25, 2024 13:40 51s
hide namespace
Test #78: Commit d3f171e pushed by Seasawher
March 25, 2024 13:40 33s main
March 25, 2024 13:40 33s
ProTip! You can narrow down the results and go further in time using created:<2024-03-25 or the other filters available.