Skip to content

Actions: hmemcpy/milewski-ctfp-pdf

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
73 workflow runs
73 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Use consistent epsilon symbol Prettier checks #78: Pull request #335 opened by EFanZh
May 16, 2024 07:22 47s EFanZh:fix-epsilon
EFanZh:fix-epsilon
May 16, 2024 07:22 47s
Use consistent epsilon symbol Check and build #95: Pull request #335 opened by EFanZh
May 16, 2024 07:22 10m 41s EFanZh:fix-epsilon
EFanZh:fix-epsilon
May 16, 2024 07:22 10m 41s
Use consistent epsilon symbol Nix formatter checks #78: Pull request #335 opened by EFanZh
May 16, 2024 07:22 33s EFanZh:fix-epsilon
EFanZh:fix-epsilon
May 16, 2024 07:22 33s
Fix category font style Nix formatter checks #77: Pull request #334 opened by EFanZh
May 14, 2024 15:19 34s EFanZh:fix-category-font
EFanZh:fix-category-font
May 14, 2024 15:19 34s
Fix category font style Check and build #94: Pull request #334 opened by EFanZh
May 14, 2024 15:19 11m 11s EFanZh:fix-category-font
EFanZh:fix-category-font
May 14, 2024 15:19 11m 11s
Fix category font style Prettier checks #77: Pull request #334 opened by EFanZh
May 14, 2024 15:19 46s EFanZh:fix-category-font
EFanZh:fix-category-font
May 14, 2024 15:19 46s
readme: update NixOS wiki link (#333) Check and build #93: Commit e7615de pushed by hmemcpy
May 11, 2024 13:05 10m 44s master
master
May 11, 2024 13:05 10m 44s
fix a typo in Chapter ends and coends (#332) Check and build #91: Commit 4cf6413 pushed by drupol
April 22, 2024 18:00 11m 7s master
master
April 22, 2024 18:00 11m 7s
fix a typo in chapter ends and coends Check and build #90: Pull request #332 opened by 5d
April 22, 2024 17:46 11m 15s 5d:patch-1
5d:patch-1
April 22, 2024 17:46 11m 15s
fix a typo in chapter ends and coends Nix formatter checks #75: Pull request #332 opened by 5d
April 22, 2024 17:46 33s 5d:patch-1
5d:patch-1
April 22, 2024 17:46 33s
fix a typo in chapter ends and coends Prettier checks #75: Pull request #332 opened by 5d
April 22, 2024 17:46 46s 5d:patch-1
5d:patch-1
April 22, 2024 17:46 46s
typo (\cat{C} -> \cat{C}^\mathit{op}) (#330) Check and build #88: Commit 020991c pushed by drupol
March 24, 2024 09:49 10m 52s master
master
March 24, 2024 09:49 10m 52s
typo (\cat{C} -> \cat{C}^\mathit{op}) in 2.6 Prettier checks #73: Pull request #330 opened by kkinugasa
March 24, 2024 07:37 44s kkinugasa:master
kkinugasa:master
March 24, 2024 07:37 44s
typo (\cat{C} -> \cat{C}^\mathit{op}) in 2.6 Check and build #87: Pull request #330 opened by kkinugasa
March 24, 2024 07:37 10m 39s kkinugasa:master
kkinugasa:master
March 24, 2024 07:37 10m 39s
typo (\cat{C} -> \cat{C}^\mathit{op}) in 2.6 Nix formatter checks #73: Pull request #330 opened by kkinugasa
March 24, 2024 07:37 35s kkinugasa:master
kkinugasa:master
March 24, 2024 07:37 35s
Fix typos (#328) Check and build #86: Commit ab180d9 pushed by drupol
January 28, 2024 09:10 10m 54s master
master
January 28, 2024 09:10 10m 54s
Fix typos Nix formatter checks #72: Pull request #328 opened by ktgw0316
January 28, 2024 04:36 32s ktgw0316:master
ktgw0316:master
January 28, 2024 04:36 32s
Fix typos Check and build #85: Pull request #328 opened by ktgw0316
January 28, 2024 04:36 10m 36s ktgw0316:master
ktgw0316:master
January 28, 2024 04:36 10m 36s
Fix typos Prettier checks #72: Pull request #328 opened by ktgw0316
January 28, 2024 04:36 37s ktgw0316:master
ktgw0316:master
January 28, 2024 04:36 37s
Small fixes (#324) Check and build #83: Commit 3d74afa pushed by drupol
October 24, 2023 17:49 16m 39s master
master
October 24, 2023 17:49 16m 39s
Small fixes Nix formatter checks #70: Pull request #324 opened by EFanZh
October 24, 2023 17:30 47s EFanZh:small-fixes
EFanZh:small-fixes
October 24, 2023 17:30 47s
Small fixes Prettier checks #70: Pull request #324 opened by EFanZh
October 24, 2023 17:30 39s EFanZh:small-fixes
EFanZh:small-fixes
October 24, 2023 17:30 39s
Small fixes Check and build #82: Pull request #324 opened by EFanZh
October 24, 2023 17:30 14m 51s EFanZh:small-fixes
EFanZh:small-fixes
October 24, 2023 17:30 14m 51s
Use \mathit for multi-letter identifiers (#322) Check and build #81: Commit 0a81b89 pushed by drupol
October 23, 2023 15:11 15m 2s master
master
October 23, 2023 15:11 15m 2s
Use \mathit for multi-letter identifiers Nix formatter checks #69: Pull request #322 synchronize by EFanZh
October 23, 2023 13:41 53s EFanZh:use-mathit-for-multi-letter-identifiers
EFanZh:use-mathit-for-multi-letter-identifiers
October 23, 2023 13:41 53s