Skip to content

Actions: hmemcpy/milewski-ctfp-pdf

Actions

Check and build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-flake-check.yaml
77 workflow runs
77 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: Remove artifact in figure (#394) Check and build #189: Commit 606bc62 pushed by hmemcpy
15m 2s master
master
15m 2s
Denominator must be non-zero (#369) Check and build #188: Commit 51e11fc pushed by hmemcpy
10m 13s master
master
10m 13s
Fix category font (#334) Check and build #187: Commit f91ad1e pushed by hmemcpy
9m 58s master
master
9m 58s
Change variant reference from boost to C++17 (#400) Check and build #186: Commit 089310e pushed by hmemcpy
10m 29s master
master
10m 29s
Change variant reference from boost to C++17 Check and build #185: Pull request #400 opened by ktgw0316
10m 39s ktgw0316:patch-1
ktgw0316:patch-1
10m 39s
Replace template<class> with template<typename> (#309) Check and build #184: Commit 1b758c3 pushed by hmemcpy
10m 4s master
master
10m 4s
Replace template<class> with template<typename> Check and build #183: Pull request #309 synchronize by matssson
10m 12s matssson:fix/typename
matssson:fix/typename
10m 12s
Add parenthesis in caml type Check and build #181: Pull request #399 opened by Arthur-Milchior
10m 14s Arthur-Milchior:caml_paren
Arthur-Milchior:caml_paren
10m 14s
Minor correction to 2.1 Check and build #180: Pull request #396 synchronize by ktgw0316
10m 35s ktgw0316:fix2.1
ktgw0316:fix2.1
10m 35s
Replace Coq by Rocq Check and build #179: Commit f94a743 pushed by drupol
10m 8s master
master
10m 8s
Replace Coq by Rocq Check and build #178: Pull request #398 opened by Arthur-Milchior
10m 4s Arthur-Milchior:coq
Arthur-Milchior:coq
10m 4s
fix: Replace \textbf with \cat Check and build #177: Commit 58f2034 pushed by drupol
10m 9s master
master
10m 9s
fix: Replace \textbf with \cat Check and build #176: Pull request #397 opened by ktgw0316
10m 23s ktgw0316:textbf
ktgw0316:textbf
10m 23s
Minor correction to 2.1 Check and build #175: Pull request #396 synchronize by ktgw0316
10m 9s ktgw0316:fix2.1
ktgw0316:fix2.1
10m 9s
Remove artifact in figure Check and build #174: Pull request #394 synchronize by ktgw0316
8m 55s ktgw0316:figure-artifact
ktgw0316:figure-artifact
8m 55s
refactor: Replace I with Identity in Haskell code Check and build #173: Commit 801c333 pushed by drupol
17m 53s master
master
17m 53s
Add definition of subobject classifier Check and build #172: Commit d97c7c6 pushed by drupol
13m 42s master
master
13m 42s
fix: Continuous condition is not generalization of products of simple… Check and build #171: Commit 63d818f pushed by drupol
10m 14s master
master
10m 14s
Check and build Check and build #170: by drupol
10m 22s master
master
10m 22s
Minor correction to 2.1 Check and build #169: Pull request #396 opened by ktgw0316
10m 28s ktgw0316:fix2.1
ktgw0316:fix2.1
10m 28s
3.14 - Continuous condition is not generalization of products of simpler morphisms Check and build #168: Pull request #395 opened by ktgw0316
10m 6s ktgw0316:3.14-typo
ktgw0316:3.14-typo
10m 6s
Remove artifact in figure Check and build #167: Pull request #394 opened by ktgw0316
10m 15s ktgw0316:figure-artifact
ktgw0316:figure-artifact
10m 15s
Remove "So" Check and build #166: Commit 758ec67 pushed by drupol
10m 11s master
master
10m 11s
Use the same set name Arr as in the diagram. Check and build #165: Commit 3828945 pushed by drupol
9m 57s master
master
9m 57s
Typo in 3.15 Check and build #164: Pull request #393 opened by ktgw0316
10m 6s ktgw0316:typo-3.15
ktgw0316:typo-3.15
10m 6s