Skip to content

Actions: hmemcpy/milewski-ctfp-pdf

Actions

Prettier checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
prettier-checks.yaml
49 workflow runs
49 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Change variant reference from boost to C++17 Prettier checks #136: Pull request #400 opened by ktgw0316
39s ktgw0316:patch-1
ktgw0316:patch-1
39s
Replace template<class> with template<typename> Prettier checks #135: Pull request #309 synchronize by matssson
39s matssson:fix/typename
matssson:fix/typename
39s
Replace template<class> with template<typename> Prettier checks #134: Pull request #309 synchronize by matssson
Action required matssson:fix/typename
matssson:fix/typename
Action required
Add parenthesis in caml type Prettier checks #133: Pull request #399 opened by Arthur-Milchior
38s Arthur-Milchior:caml_paren
Arthur-Milchior:caml_paren
38s
Minor correction to 2.1 Prettier checks #132: Pull request #396 synchronize by ktgw0316
37s ktgw0316:fix2.1
ktgw0316:fix2.1
37s
Replace Coq by Rocq Prettier checks #131: Pull request #398 opened by Arthur-Milchior
40s Arthur-Milchior:coq
Arthur-Milchior:coq
40s
fix: Replace \textbf with \cat Prettier checks #130: Pull request #397 opened by ktgw0316
42s ktgw0316:textbf
ktgw0316:textbf
42s
Minor correction to 2.1 Prettier checks #129: Pull request #396 synchronize by ktgw0316
36s ktgw0316:fix2.1
ktgw0316:fix2.1
36s
Remove artifact in figure Prettier checks #128: Pull request #394 synchronize by ktgw0316
38s ktgw0316:figure-artifact
ktgw0316:figure-artifact
38s
Minor correction to 2.1 Prettier checks #127: Pull request #396 opened by ktgw0316
45s ktgw0316:fix2.1
ktgw0316:fix2.1
45s
3.14 - Continuous condition is not generalization of products of simpler morphisms Prettier checks #126: Pull request #395 opened by ktgw0316
44s ktgw0316:3.14-typo
ktgw0316:3.14-typo
44s
Remove artifact in figure Prettier checks #125: Pull request #394 opened by ktgw0316
41s ktgw0316:figure-artifact
ktgw0316:figure-artifact
41s
Typo in 3.15 Prettier checks #124: Pull request #393 opened by ktgw0316
45s ktgw0316:typo-3.15
ktgw0316:typo-3.15
45s
Remove "So" in 29.1 Subobject Classifier Prettier checks #123: Pull request #392 opened by ktgw0316
41s ktgw0316:remove-so
ktgw0316:remove-so
41s
fix: Remove artifact in figure Prettier checks #122: Pull request #391 opened by ktgw0316
48s ktgw0316:master
ktgw0316:master
48s
Add definition of subobject classifier Prettier checks #121: Pull request #390 opened by ktgw0316
51s ktgw0316:issue389-subobject-classifier
ktgw0316:issue389-subobject-classifier
51s
Add description of "well-behaved" and "very well behaved" lenses Prettier checks #120: Pull request #383 reopened by drupol
3m 10s ktgw0316:issue382-very-well-behaved
ktgw0316:issue382-very-well-behaved
3m 10s
fix: "a" for apex and "a" for p a a should be different Prettier checks #119: Pull request #388 opened by ktgw0316
46s ktgw0316:apexEnd
ktgw0316:apexEnd
46s
3.9 - Add missing "Suppose that" Prettier checks #118: Pull request #387 opened by ktgw0316
42s ktgw0316:SupposeThat
ktgw0316:SupposeThat
42s
Add description of "well-behaved" and "very well behaved" lenses Prettier checks #117: Pull request #383 opened by ktgw0316
42s ktgw0316:issue382-very-well-behaved
ktgw0316:issue382-very-well-behaved
42s
Use mappend/mempty instead of ++/"" Prettier checks #116: Pull request #381 opened by ktgw0316
41s ktgw0316:mappend-mempty
ktgw0316:mappend-mempty
41s
Replace I with Identity in Haskell code in 3.11 Prettier checks #115: Pull request #380 opened by ktgw0316
41s ktgw0316:Identity
ktgw0316:Identity
41s
fix: Diagram is too wide for 148mm page width Prettier checks #114: Pull request #378 opened by ktgw0316
42s ktgw0316:diagram-width
ktgw0316:diagram-width
42s
Update Kan extension diagrams Prettier checks #113: Pull request #377 opened by ktgw0316
42s ktgw0316:Kan-diagram
ktgw0316:Kan-diagram
42s
fix: Add missing 1 in diagram Prettier checks #112: Pull request #375 opened by ktgw0316
42s ktgw0316:issue373
ktgw0316:issue373
42s