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

Actions: lean-ja/fp-lean-ja

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
371 workflow runs
371 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

10章 programs-proofs (#78) CI #328: Commit 9e1dd97 pushed by s-taiga
August 25, 2024 15:43 1m 35s main
main
August 25, 2024 15:43 1m 35s
10章 programs-proofs CI #327: Pull request #78 synchronize by s-taiga
August 25, 2024 15:42 1m 22s 10-programs-proofs
10-programs-proofs
August 25, 2024 15:42 1m 22s
9章 tactics-induction-proofs (#77) CI #326: Commit 414e9fc pushed by s-taiga
August 25, 2024 15:15 1m 47s main
main
August 25, 2024 15:15 1m 47s
9章 tactics-induction-proofs CI #325: Pull request #77 synchronize by s-taiga
August 25, 2024 15:13 1m 18s 9-tactics-induction-proofs
9-tactics-induction-proofs
August 25, 2024 15:13 1m 18s
10章 programs-proofs CI #324: Pull request #78 opened by s-taiga
August 25, 2024 09:49 1m 36s 10-programs-proofs
10-programs-proofs
August 25, 2024 09:49 1m 36s
9章 tactics-induction-proofs CI #323: Pull request #77 synchronize by s-taiga
August 25, 2024 09:47 1m 22s 9-tactics-induction-proofs
9-tactics-induction-proofs
August 25, 2024 09:47 1m 22s
8.6章 summary (#76) CI #322: Commit 7704d72 pushed by s-taiga
August 25, 2024 06:34 1m 36s main
main
August 25, 2024 06:34 1m 36s
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