Skip to content

Actions: hmemcpy/milewski-ctfp-pdf

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
178 workflow runs
178 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 Prettier checks #136: Pull request #400 opened by ktgw0316
39s ktgw0316:patch-1
ktgw0316:patch-1
39s
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
Change variant reference from boost to C++17 Nix formatter checks #136: Pull request #400 opened by ktgw0316
30s ktgw0316:patch-1
ktgw0316:patch-1
30s
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> Prettier checks #135: Pull request #309 synchronize by matssson
39s matssson:fix/typename
matssson:fix/typename
39s
Replace template<class> with template<typename> Nix formatter checks #135: Pull request #309 synchronize by matssson
27s matssson:fix/typename
matssson:fix/typename
27s
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
Replace template<class> with template<typename> Check and build #182: Pull request #309 synchronize by matssson
Action required matssson:fix/typename
matssson:fix/typename
Action required
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
Replace template<class> with template<typename> Nix formatter checks #134: Pull request #309 synchronize by matssson
Action required matssson:fix/typename
matssson:fix/typename
Action required
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
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
Add parenthesis in caml type Nix formatter checks #133: Pull request #399 opened by Arthur-Milchior
34s Arthur-Milchior:caml_paren
Arthur-Milchior:caml_paren
34s
Minor correction to 2.1 Nix formatter checks #132: Pull request #396 synchronize by ktgw0316
27s ktgw0316:fix2.1
ktgw0316:fix2.1
27s
Minor correction to 2.1 Prettier checks #132: Pull request #396 synchronize by ktgw0316
37s ktgw0316:fix2.1
ktgw0316:fix2.1
37s
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 Nix formatter checks #131: Pull request #398 opened by Arthur-Milchior
28s Arthur-Milchior:coq
Arthur-Milchior:coq
28s
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
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 Check and build #177: Commit 58f2034 pushed by drupol
10m 9s master
master
10m 9s