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

10.5章 fin (#83) CI #346: Commit e1d2ae8 pushed by s-taiga
September 4, 2024 10:13 1m 48s main
main
September 4, 2024 10:13 1m 48s
10.5章 fin CI #345: Pull request #83 synchronize by s-taiga
September 4, 2024 10:07 1m 23s 10.5-fin
10.5-fin
September 4, 2024 10:07 1m 23s
10.5章 fin CI #344: Pull request #83 opened by s-taiga
September 4, 2024 09:49 1m 24s 10.5-fin
10.5-fin
September 4, 2024 09:49 1m 24s
10.4章 inequalities (#82) CI #343: Commit af1bb96 pushed by s-taiga
September 4, 2024 09:47 1m 39s main
main
September 4, 2024 09:47 1m 39s
10.4章 inequalities CI #342: Pull request #82 synchronize by s-taiga
September 4, 2024 09:26 1m 29s 10.4-inequalities
10.4-inequalities
September 4, 2024 09:26 1m 29s
10.4章 inequalities CI #341: Pull request #82 opened by s-taiga
September 1, 2024 03:55 1m 19s 10.4-inequalities
10.4-inequalities
September 1, 2024 03:55 1m 19s
10.3章 arrays-termination (#81) CI #340: Commit d2353f7 pushed by s-taiga
September 1, 2024 03:42 1m 34s main
main
September 1, 2024 03:42 1m 34s
10.3章 arrays-termination CI #339: Pull request #81 synchronize by s-taiga
September 1, 2024 03:39 1m 31s 10.3-arrays-termination
10.3-arrays-termination
September 1, 2024 03:39 1m 31s
10.3章 arrays-termination CI #338: Pull request #81 synchronize by s-taiga
September 1, 2024 03:11 1m 19s 10.3-arrays-termination
10.3-arrays-termination
September 1, 2024 03:11 1m 19s
10.3章 arrays-termination CI #337: Pull request #81 opened by s-taiga
August 31, 2024 15:43 1m 29s 10.3-arrays-termination
10.3-arrays-termination
August 31, 2024 15:43 1m 29s
10.2章 tail-recursion-proofs (#80) CI #336: Commit 8eae5c4 pushed by s-taiga
August 31, 2024 15:28 1m 34s main
main
August 31, 2024 15:28 1m 34s
10.2章 tail-recursion-proofs CI #335: Pull request #80 synchronize by s-taiga
August 31, 2024 15:26 1m 21s 10.2-tail-recursion-proofs
10.2-tail-recursion-proofs
August 31, 2024 15:26 1m 21s
10.2章 tail-recursion-proofs CI #334: Pull request #80 synchronize by s-taiga
August 31, 2024 14:53 1m 21s 10.2-tail-recursion-proofs
10.2-tail-recursion-proofs
August 31, 2024 14:53 1m 21s
10.2章 tail-recursion-proofs CI #333: Pull request #80 opened by s-taiga
August 26, 2024 13:38 1m 21s 10.2-tail-recursion-proofs
10.2-tail-recursion-proofs
August 26, 2024 13:38 1m 21s
10.1章 tail-recursion (#79) CI #332: Commit 59ce803 pushed by s-taiga
August 26, 2024 13:36 1m 45s main
main
August 26, 2024 13:36 1m 45s
10.1章 tail-recursion CI #331: Pull request #79 synchronize by s-taiga
August 26, 2024 13:34 1m 27s 10.1-tail-recursion
10.1-tail-recursion
August 26, 2024 13:34 1m 27s
10.1章 tail-recursion CI #330: Pull request #79 synchronize by s-taiga
August 26, 2024 10:35 1m 29s 10.1-tail-recursion
10.1-tail-recursion
August 26, 2024 10:35 1m 29s
10.1章 tail-recursion CI #329: Pull request #79 opened by s-taiga
August 25, 2024 15:45 1m 26s 10.1-tail-recursion
10.1-tail-recursion
August 25, 2024 15:45 1m 26s
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