Skip to content

Actions: math-comp/multinomials

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
96 workflow runs
96 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Generalize some results in monalg to nmodType and semiRingType Docker CI #237: Pull request #83 synchronize by pi8027
April 23, 2024 11:54 36m 19s semiring-monalg
semiring-monalg
April 23, 2024 11:54 36m 19s
Generalize some results in monalg to nmodType and semiRingType Docker CI #236: Commit 3ed0118 pushed by pi8027
April 23, 2024 11:54 29m 47s semiring-monalg
semiring-monalg
April 23, 2024 11:54 29m 47s
Merge pull request #88 from math-comp/hb-semilattices Docker CI #235: Commit 05ce627 pushed by pi8027
April 19, 2024 09:44 18m 43s master
master
April 19, 2024 09:44 18m 43s
Adapt to math-comp/math-comp#1166 Docker CI #234: Pull request #88 synchronize by pi8027
April 10, 2024 13:05 22m 0s hb-semilattices
hb-semilattices
April 10, 2024 13:05 22m 0s
Adapt to math-comp/math-comp#1166 Docker CI #233: Commit 3b79f76 pushed by pi8027
April 10, 2024 13:05 18m 50s hb-semilattices
hb-semilattices
April 10, 2024 13:05 18m 50s
Merge pull request #89 from proux01/mc_1201 Docker CI #232: Commit e671c7b pushed by pi8027
April 2, 2024 13:10 39m 45s master
master
April 2, 2024 13:10 39m 45s
Remove notations deprecated in MathComp 1.17.0 Docker CI #231: Pull request #89 opened by proux01
April 2, 2024 12:26 23m 37s proux01:mc_1201
proux01:mc_1201
April 2, 2024 12:26 23m 37s
Adapt to math-comp/math-comp#1166 Docker CI #230: Pull request #88 opened by pi8027
March 15, 2024 13:30 24m 53s hb-semilattices
hb-semilattices
March 15, 2024 13:30 24m 53s
Adapt to math-comp/math-comp#1166 Docker CI #229: Commit fdc4929 pushed by pi8027
March 15, 2024 13:29 21m 41s hb-semilattices
hb-semilattices
March 15, 2024 13:29 21m 41s
Generalize some results in monalg to nmodType and semiRingType Docker CI #228: Pull request #83 synchronize by pi8027
January 18, 2024 15:57 19m 6s semiring-monalg
semiring-monalg
January 18, 2024 15:57 19m 6s
Generalize some results in monalg to nmodType and semiRingType Docker CI #227: Commit f184b73 pushed by pi8027
January 18, 2024 15:57 16m 24s semiring-monalg
semiring-monalg
January 18, 2024 15:57 16m 24s
Merge pull request #87 from proux01/coq819 Docker CI #226: Commit 07713f4 pushed by pi8027
January 18, 2024 14:24 16m 38s 2.2.0
2.2.0
January 18, 2024 14:24 16m 38s
Merge pull request #87 from proux01/coq819 Docker CI #225: Commit 07713f4 pushed by pi8027
January 17, 2024 19:35 16m 17s master
master
January 17, 2024 19:35 16m 17s
[CI] Add Coq 8.19 and MC 2.2 Docker CI #224: Pull request #87 synchronize by pi8027
January 17, 2024 19:16 16m 4s proux01:coq819
proux01:coq819
January 17, 2024 19:16 16m 4s
[CI] Add Coq 8.19 and MC 2.2 Docker CI #223: Pull request #87 synchronize by proux01
January 17, 2024 16:16 13m 19s proux01:coq819
proux01:coq819
January 17, 2024 16:16 13m 19s
[CI] Add Coq 8.19 and MC 2.2 Docker CI #222: Pull request #87 opened by proux01
January 17, 2024 16:02 13m 29s proux01:coq819
proux01:coq819
January 17, 2024 16:02 13m 29s
Generalize some results in monalg to nmodType and semiRingType Docker CI #221: Pull request #83 synchronize by pi8027
December 8, 2023 15:54 23m 9s semiring-monalg
semiring-monalg
December 8, 2023 15:54 23m 9s
Generalize some results in monalg to nmodType and semiRingType Docker CI #220: Commit 3973f21 pushed by pi8027
December 8, 2023 15:54 21m 14s semiring-monalg
semiring-monalg
December 8, 2023 15:54 21m 14s
Merge pull request #86 from math-comp/function_scope Docker CI #219: Commit b91bd37 pushed by pi8027
December 8, 2023 15:36 6m 8s master
master
December 8, 2023 15:36 6m 8s
Adapt to math-comp/math-comp#1133 (replace fun_scope with function_scope) Docker CI #218: Pull request #86 opened by pi8027
December 8, 2023 12:26 6m 11s function_scope
function_scope
December 8, 2023 12:26 6m 11s
Adapt to math-comp/math-comp#1133 (replace fun_scope with function_sc… Docker CI #217: Commit 6212162 pushed by pi8027
December 8, 2023 12:26 3m 33s function_scope
function_scope
December 8, 2023 12:26 3m 33s
Replace fun_scope with function_scope Docker CI #216: Commit f803b68 pushed by pi8027
December 8, 2023 12:25 3m 37s function_scope
function_scope
December 8, 2023 12:25 3m 37s
Generalize some results in monalg to nmodType and semiRingType Docker CI #215: Pull request #83 synchronize by pi8027
December 8, 2023 12:22 3m 39s semiring-monalg
semiring-monalg
December 8, 2023 12:22 3m 39s
Generalize some results in monalg to nmodType and semiRingType Docker CI #214: Commit 250c3b6 pushed by pi8027
December 8, 2023 12:22 3m 37s semiring-monalg
semiring-monalg
December 8, 2023 12:22 3m 37s
Merge pull request #79 from Alizter/dune-3-8 Docker CI #213: Commit 4c8c7e9 pushed by pi8027
November 30, 2023 13:02 3m 25s master
master
November 30, 2023 13:02 3m 25s