Skip to content

Actions: math-comp/multinomials

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
204 workflow runs
204 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
remove deprecated warnings Docker CI #299: Pull request #101 synchronize by thery
14m 57s thery:mathcomp2_4
thery:mathcomp2_4
14m 57s
Generalize some results in monalg to nmodType and semiRingType Docker CI #298: Pull request #83 synchronize by pi8027
14m 52s semiring-monalg
semiring-monalg
14m 52s
WIP Docker CI #297: Commit 6bedd18 pushed by pi8027
15m 34s semiring-monalg
semiring-monalg
15m 34s
Merge pull request #103 from proux01/ssrpat-FO-ignore-imparg Docker CI #296: Commit 883ecef pushed by proux01
15m 54s master
master
15m 54s
Adapt to https://github.com/rocq-prover/rocq/pull/20707 Docker CI #295: Pull request #103 synchronize by pi8027
15m 23s proux01:ssrpat-FO-ignore-imparg
proux01:ssrpat-FO-ignore-imparg
15m 23s
Generalize some results in monalg to nmodType and semiRingType Docker CI #294: Pull request #83 synchronize by pi8027
19m 14s semiring-monalg
semiring-monalg
19m 14s
WIP Docker CI #293: Commit cdbfb3a pushed by pi8027
19m 17s semiring-monalg
semiring-monalg
19m 17s
Merge pull request #104 from math-comp/ci Docker CI #292: Commit f18b250 pushed by pi8027
19m 32s master
master
19m 32s
Update the CI config and the OPAM file Docker CI #291: Pull request #104 opened by pi8027
26m 15s ci
ci
26m 15s
Remove the upper version constraints from the OPAM file Docker CI #290: Commit c22f4a5 pushed by pi8027
20m 3s ci
ci
20m 3s
Adapt to https://github.com/rocq-prover/rocq/pull/20707 Docker CI #289: Pull request #103 synchronize by proux01
19m 38s proux01:ssrpat-FO-ignore-imparg
proux01:ssrpat-FO-ignore-imparg
19m 38s
Generalize some results in monalg to nmodType and semiRingType Docker CI #288: Pull request #83 synchronize by pi8027
19m 28s semiring-monalg
semiring-monalg
19m 28s
WIP Docker CI #287: Commit d6df99c pushed by pi8027
19m 26s semiring-monalg
semiring-monalg
19m 26s
Merge pull request #93 from math-comp/fix-mmorphism Docker CI #286: Commit 6e97e30 pushed by pi8027
19m 51s master
master
19m 51s
Fix the definition of mmorphism following math-comp/math-comp#1296 Docker CI #285: Pull request #93 synchronize by pi8027
19m 25s fix-mmorphism
fix-mmorphism
19m 25s
Fix the definition of mmorphism following math-comp/math-comp#1296 Docker CI #284: Commit 631c0a4 pushed by pi8027
19m 27s fix-mmorphism
fix-mmorphism
19m 27s
Generalize some results in monalg to nmodType and semiRingType Docker CI #283: Pull request #83 synchronize by pi8027
19m 24s semiring-monalg
semiring-monalg
19m 24s
WIP Docker CI #282: Commit 7999793 pushed by pi8027
19m 21s semiring-monalg
semiring-monalg
19m 21s
Merge pull request #102 from proux01/mc1110 Docker CI #281: Commit bd59c94 pushed by proux01
6m 8s master
master
6m 8s
Adapt to https://github.com/math-comp/math-comp/pull/1110 Docker CI #280: Pull request #102 synchronize by proux01
7m 0s proux01:mc1110
proux01:mc1110
7m 0s
Adapt to https://github.com/math-comp/math-comp/pull/1110 Docker CI #279: Pull request #102 synchronize by proux01
6m 4s proux01:mc1110
proux01:mc1110
6m 4s
Adapt to https://github.com/math-comp/math-comp/pull/1110 Docker CI #278: Pull request #102 synchronize by proux01
3m 40s proux01:mc1110
proux01:mc1110
3m 40s
Adapt to https://github.com/math-comp/math-comp/pull/1110 Docker CI #277: Pull request #102 synchronize by proux01
2s proux01:mc1110
proux01:mc1110
2s
Adapt to https://github.com/math-comp/math-comp/pull/1110 Docker CI #276: Pull request #102 opened by proux01
3s proux01:mc1110
proux01:mc1110
3s
remove deprecated warnings Docker CI #275: Pull request #101 synchronize by thery
3s thery:mathcomp2_4
thery:mathcomp2_4
3s