Skip to content

Actions: hmemcpy/milewski-ctfp-pdf

Nix formatter checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: "m alg" should be \mathit, not \code
Nix formatter checks #102: Pull request #364 opened by ktgw0316
June 30, 2025 13:13 53s ktgw0316:fix-part3-ch09
June 30, 2025 13:13 53s
fix: Lens library name should be lower-case
Nix formatter checks #101: Pull request #363 opened by ktgw0316
June 22, 2025 02:51 53s ktgw0316:typo-3.7
June 22, 2025 02:51 53s
Use math font for functors, F-algebras and T-algebras
Nix formatter checks #100: Pull request #362 opened by ktgw0316
June 21, 2025 02:53 54s ktgw0316:functor-mathit
June 21, 2025 02:53 54s
style: Wrap long line of code
Nix formatter checks #99: Pull request #353 synchronize by ktgw0316
May 8, 2025 11:47 39s ktgw0316:issue239
May 8, 2025 11:47 39s
fix: Dead link in 21.1
Nix formatter checks #98: Pull request #361 opened by ktgw0316
April 30, 2025 12:52 36s ktgw0316:issue360
April 30, 2025 12:52 36s
fix: Use math font for functors
Nix formatter checks #97: Pull request #358 opened by ktgw0316
March 27, 2025 13:34 37s ktgw0316:master
March 27, 2025 13:34 37s
style: Use \mathit for Nat
Nix formatter checks #96: Pull request #357 opened by ktgw0316
March 1, 2025 01:50 41s ktgw0316:issue356
March 1, 2025 01:50 41s
fix: Typo in Haskell comment
Nix formatter checks #95: Pull request #355 opened by ktgw0316
February 23, 2025 07:28 40s ktgw0316:issue354
February 23, 2025 07:28 40s
style: Wrap long line of code
Nix formatter checks #93: Pull request #353 opened by ktgw0316
February 15, 2025 04:23 42s ktgw0316:issue239
February 15, 2025 04:23 42s
fix: Add missing $q$ in 13.2
Nix formatter checks #92: Pull request #352 opened by ktgw0316
February 15, 2025 03:48 40s ktgw0316:issue351
February 15, 2025 03:48 40s
Small fixes for 1.6
Nix formatter checks #91: Pull request #347 synchronize by ktgw0316
February 11, 2025 04:50 45s ktgw0316:small_fixes_1.6
February 11, 2025 04:50 45s
fix: Misspelled author name
Nix formatter checks #90: Pull request #350 opened by ktgw0316
January 21, 2025 14:20 48s ktgw0316:issue349
January 21, 2025 14:20 48s
Ocaml updates
Nix formatter checks #89: Pull request #348 opened by jakubsvec001
January 20, 2025 01:46 39s jakubsvec001:ocaml_updates
January 20, 2025 01:46 39s
Small fixes for 1.6
Nix formatter checks #88: Pull request #347 opened by ktgw0316
January 7, 2025 13:53 42s ktgw0316:small_fixes_1.6
January 7, 2025 13:53 42s
fix: Remove image background (3.2 adj-counit.jpg)
Nix formatter checks #86: Pull request #344 opened by ktgw0316
November 29, 2024 04:05 47s ktgw0316:master
November 29, 2024 04:05 47s
Use consistent epsilon symbol
Nix formatter checks #84: Pull request #335 synchronize by EFanZh
October 20, 2024 13:55 34s EFanZh:fix-epsilon
October 20, 2024 13:55 34s
fix typo in 3.14
Nix formatter checks #83: Pull request #340 synchronize by kkinugasa
September 26, 2024 22:24 33s kkinugasa:master
September 26, 2024 22:24 33s
fix typo in 3.14
Nix formatter checks #82: Pull request #340 opened by kkinugasa
September 26, 2024 11:05 34s kkinugasa:master
September 26, 2024 11:05 34s
Correct the build command for Haskell
Nix formatter checks #81: Pull request #339 opened by danshearer
September 25, 2024 13:19 41s patch-1
September 25, 2024 13:19 41s
fix(Section 3.11): typo (A -> Set)
Nix formatter checks #79: Pull request #336 opened by ya-poo
June 20, 2024 11:05 33s ya-poo:fix/typo-cat
June 20, 2024 11:05 33s