Skip to content

Actions: hmemcpy/milewski-ctfp-pdf

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
99 workflow runs
99 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

3.10: Denominator must be non-zero Nix formatter checks #109: Pull request #369 synchronize by ktgw0316
August 19, 2025 03:15 50s ktgw0316:rational_number
ktgw0316:rational_number
August 19, 2025 03:15 50s
3.10: Denominator must be non-zero Check and build #144: Pull request #369 synchronize by ktgw0316
August 19, 2025 03:15 10m 59s ktgw0316:rational_number
ktgw0316:rational_number
August 19, 2025 03:15 10m 59s
3.10: Denominator must be non-zero Prettier checks #109: Pull request #369 synchronize by ktgw0316
August 19, 2025 03:15 44s ktgw0316:rational_number
ktgw0316:rational_number
August 19, 2025 03:15 44s
3.10: Denominator must be non-zero Nix formatter checks #108: Pull request #369 synchronize by ktgw0316
August 19, 2025 03:12 49s ktgw0316:rational_number
ktgw0316:rational_number
August 19, 2025 03:12 49s
3.10: Denominator must be non-zero Prettier checks #108: Pull request #369 synchronize by ktgw0316
August 19, 2025 03:12 45s ktgw0316:rational_number
ktgw0316:rational_number
August 19, 2025 03:12 45s
3.10: Denominator must be non-zero Check and build #143: Pull request #369 synchronize by ktgw0316
August 19, 2025 03:12 10m 49s ktgw0316:rational_number
ktgw0316:rational_number
August 19, 2025 03:12 10m 49s
3.10: Denominator must be non-zero Check and build #142: Pull request #369 opened by ktgw0316
August 18, 2025 13:06 10m 57s ktgw0316:rational_number
ktgw0316:rational_number
August 18, 2025 13:06 10m 57s
3.10: Denominator must be non-zero Prettier checks #107: Pull request #369 opened by ktgw0316
August 18, 2025 13:06 49s ktgw0316:rational_number
ktgw0316:rational_number
August 18, 2025 13:06 49s
3.10: Denominator must be non-zero Nix formatter checks #107: Pull request #369 opened by ktgw0316
August 18, 2025 13:06 47s ktgw0316:rational_number
ktgw0316:rational_number
August 18, 2025 13:06 47s
fix: functor from Kleisli to underlying category Check and build #141: Pull request #368 opened by kkinugasa
August 14, 2025 00:10 10m 40s kkinugasa:fix-typo-3.9
kkinugasa:fix-typo-3.9
August 14, 2025 00:10 10m 40s
fix: functor from Kleisli to underlying category Nix formatter checks #106: Pull request #368 opened by kkinugasa
August 14, 2025 00:10 49s kkinugasa:fix-typo-3.9
kkinugasa:fix-typo-3.9
August 14, 2025 00:10 49s
fix: functor from Kleisli to underlying category Prettier checks #106: Pull request #368 opened by kkinugasa
August 14, 2025 00:10 43s kkinugasa:fix-typo-3.9
kkinugasa:fix-typo-3.9
August 14, 2025 00:10 43s
Fix Challenge 2 in Section 2.3: Use "positive integers" instead of "integers" for monoid under multiplication Prettier checks #105: Pull request #367 opened by kkinugasa
August 7, 2025 03:46 41s kkinugasa:modify-challenges-2.3-2
kkinugasa:modify-challenges-2.3-2
August 7, 2025 03:46 41s
Fix Challenge 2 in Section 2.3: Use "positive integers" instead of "integers" for monoid under multiplication Nix formatter checks #105: Pull request #367 opened by kkinugasa
August 7, 2025 03:46 52s kkinugasa:modify-challenges-2.3-2
kkinugasa:modify-challenges-2.3-2
August 7, 2025 03:46 52s
Fix Challenge 2 in Section 2.3: Use "positive integers" instead of "integers" for monoid under multiplication Check and build #140: Pull request #367 opened by kkinugasa
August 7, 2025 03:46 10m 46s kkinugasa:modify-challenges-2.3-2
kkinugasa:modify-challenges-2.3-2
August 7, 2025 03:46 10m 46s
Update algebras-for-monads.tex Check and build #139: Commit 1dc8a49 pushed by drupol
August 6, 2025 14:43 11m 16s master
master
August 6, 2025 14:43 11m 16s
fix: Function definition requires argument, not type Check and build #138: Commit 700ed94 pushed by drupol
August 6, 2025 14:42 11m 0s master
master
August 6, 2025 14:42 11m 0s
typo: Replace F with F^T Nix formatter checks #104: Pull request #366 opened by ktgw0316
August 6, 2025 14:22 1m 3s ktgw0316:typo-3.9
ktgw0316:typo-3.9
August 6, 2025 14:22 1m 3s
typo: Replace F with F^T Prettier checks #104: Pull request #366 opened by ktgw0316
August 6, 2025 14:22 46s ktgw0316:typo-3.9
ktgw0316:typo-3.9
August 6, 2025 14:22 46s
typo: Replace F with F^T Check and build #137: Pull request #366 opened by ktgw0316
August 6, 2025 14:22 13m 30s ktgw0316:typo-3.9
ktgw0316:typo-3.9
August 6, 2025 14:22 13m 30s
Function definition requires argument, not type Check and build #136: Pull request #365 opened by ktgw0316
August 6, 2025 14:17 11m 28s ktgw0316:dimap
ktgw0316:dimap
August 6, 2025 14:17 11m 28s
Function definition requires argument, not type Prettier checks #103: Pull request #365 opened by ktgw0316
August 6, 2025 14:17 41s ktgw0316:dimap
ktgw0316:dimap
August 6, 2025 14:17 41s
Function definition requires argument, not type Nix formatter checks #103: Pull request #365 opened by ktgw0316
August 6, 2025 14:17 48s ktgw0316:dimap
ktgw0316:dimap
August 6, 2025 14:17 48s
fix: case is clause, not statement Check and build #135: Commit 03010fa pushed by drupol
July 9, 2025 05:22 11m 19s master
master
July 9, 2025 05:22 11m 19s
fix: "m alg" should be \mathit, not \code Check and build #134: Commit b868557 pushed by drupol
June 30, 2025 13:19 10m 59s master
master
June 30, 2025 13:19 10m 59s