Skip to content

Actions: math-comp/multinomials

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
49 workflow runs
49 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix the definition of mmorphism following math-comp/math-comp#1296 Docker CI #245: Commit 5a3902c pushed by pi8027
November 26, 2024 12:59 24m 20s fix-mmorphism
fix-mmorphism
November 26, 2024 12:59 24m 20s
Merge pull request #90 from math-comp/ci Docker CI #244: Commit 31e1cb6 pushed by pi8027
July 15, 2024 12:11 3m 53s master
master
July 15, 2024 12:11 3m 53s
Fix CI by reverting to coq_makefile Docker CI #243: Pull request #90 synchronize by pi8027
July 15, 2024 11:56 7m 25s ci
ci
July 15, 2024 11:56 7m 25s
Revert to coq_makefile Docker CI #242: Commit 22dde70 pushed by pi8027
July 15, 2024 11:56 3m 57s ci
ci
July 15, 2024 11:56 3m 57s
Fix CI by reverting to coq_makefile Docker CI #241: Pull request #90 synchronize by pi8027
July 15, 2024 10:17 5m 53s ci
ci
July 15, 2024 10:17 5m 53s
Fix dune build Docker CI #240: Commit f2231b5 pushed by pi8027
July 15, 2024 10:17 3m 41s ci
ci
July 15, 2024 10:17 3m 41s
Fix CI by reverting to coq_makefile Docker CI #239: Pull request #90 opened by pi8027
July 11, 2024 12:34 50m 12s ci
ci
July 11, 2024 12:34 50m 12s
Remove mathcomp-dev:coq-8.16 and mathcomp-dev:coq-8.17 from CI Docker CI #238: Commit 0f32217 pushed by pi8027
July 11, 2024 12:32 36m 51s ci
ci
July 11, 2024 12:32 36m 51s
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