Skip to content

Actions: lean-ja/fp-lean-ja

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
380 workflow runs
380 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

8.6章 summary CI #321: Pull request #76 synchronize by s-taiga
August 25, 2024 06:32 1m 31s 8.6-summary
8.6-summary
August 25, 2024 06:32 1m 31s
8.5章 pitfalls (#75) CI #320: Commit ebfc633 pushed by s-taiga
August 25, 2024 06:27 1m 40s main
main
August 25, 2024 06:27 1m 40s
8.5章 pitfalls CI #319: Pull request #75 synchronize by s-taiga
August 25, 2024 06:25 1m 46s 8.5-pitfalls
8.5-pitfalls
August 25, 2024 06:25 1m 46s
8.4章 indices-parameters-universes (#74) CI #318: Commit 3a24ec1 pushed by s-taiga
August 25, 2024 05:53 1m 35s main
main
August 25, 2024 05:53 1m 35s
8.4章 indices-parameters-universes CI #317: Pull request #74 synchronize by s-taiga
August 25, 2024 05:51 1m 24s 8.4-indices-parameters-universes
8.4-indices-parameters-universes
August 25, 2024 05:51 1m 24s
8.3章 typed-queries (#73) CI #316: Commit 04865a3 pushed by s-taiga
August 25, 2024 05:46 1m 34s main
main
August 25, 2024 05:46 1m 34s
8.3章 typed-queries CI #315: Pull request #73 synchronize by s-taiga
August 25, 2024 05:44 1m 20s 8.3-typed-queries
8.3-typed-queries
August 25, 2024 05:44 1m 20s
8.2章 universe-pattern (#72) CI #314: Commit 95a29de pushed by s-taiga
August 25, 2024 04:09 1m 47s main
main
August 25, 2024 04:09 1m 47s
8.2章 universe-pattern CI #313: Pull request #72 synchronize by s-taiga
August 25, 2024 04:05 1m 20s 8.2-universe-pattern
8.2-universe-pattern
August 25, 2024 04:05 1m 20s
8.1章 indexed-families (#71) CI #312: Commit d946f10 pushed by s-taiga
August 25, 2024 03:31 1m 44s main
main
August 25, 2024 03:31 1m 44s
8.1章 indexed-families CI #311: Pull request #71 synchronize by s-taiga
August 25, 2024 03:30 1m 19s 8.1-indexed-families
8.1-indexed-families
August 25, 2024 03:30 1m 19s
8章 dependent-types (#70) CI #310: Commit e2d1819 pushed by s-taiga
August 25, 2024 02:47 1m 39s main
main
August 25, 2024 02:47 1m 39s
8章 dependent-types CI #309: Pull request #70 synchronize by s-taiga
August 25, 2024 02:45 1m 27s 8-dependent-types
8-dependent-types
August 25, 2024 02:45 1m 27s
7.6章 summary (#69) CI #308: Commit 636b342 pushed by s-taiga
August 25, 2024 02:36 1m 42s main
main
August 25, 2024 02:36 1m 42s
7.6章 summary CI #307: Pull request #69 synchronize by s-taiga
August 25, 2024 02:33 1m 22s 7.6-summary
7.6-summary
August 25, 2024 02:33 1m 22s
7.5章 conveniences (#68) CI #306: Commit 5d71c91 pushed by s-taiga
August 25, 2024 02:30 1m 43s main
main
August 25, 2024 02:30 1m 43s
7.5章 conveniences CI #305: Pull request #68 synchronize by s-taiga
August 25, 2024 02:29 1m 22s 7.5-conveniences
7.5-conveniences
August 25, 2024 02:29 1m 22s
7.4章 do (#67) CI #304: Commit b7e9ee0 pushed by s-taiga
August 25, 2024 02:25 1m 37s main
main
August 25, 2024 02:25 1m 37s
7.4章 do CI #303: Pull request #67 synchronize by s-taiga
August 25, 2024 02:21 1m 20s 7.4-do
7.4-do
August 25, 2024 02:21 1m 20s
7.3章 order (#66) CI #302: Commit b3bc698 pushed by s-taiga
August 25, 2024 01:43 1m 33s main
main
August 25, 2024 01:43 1m 33s
7.3章 order CI #301: Pull request #66 synchronize by s-taiga
August 25, 2024 01:41 1m 15s 7.3-order
7.3-order
August 25, 2024 01:41 1m 15s
7.2章 transformers (#65) CI #300: Commit 7c581ce pushed by s-taiga
August 25, 2024 01:35 1m 34s main
main
August 25, 2024 01:35 1m 34s
7.2章 transformers CI #299: Pull request #65 synchronize by s-taiga
August 25, 2024 01:33 1m 14s 7.2-transformers
7.2-transformers
August 25, 2024 01:33 1m 14s
7.1章 reader-io (#64) CI #298: Commit 9fb6152 pushed by s-taiga
August 24, 2024 15:33 1m 30s main
main
August 24, 2024 15:33 1m 30s
7.1章 reader-io CI #297: Pull request #64 synchronize by s-taiga
August 24, 2024 15:31 1m 18s 7.1-reader-io
7.1-reader-io
August 24, 2024 15:31 1m 18s