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
[WIP] replace the infrastructure of mpoly with monalg Docker CI #32: Pull request #116 synchronize by pi8027
5m 40s monalg-based-mpoly
monalg-based-mpoly
5m 40s
Merge pull request #125 from math-comp/cleanup-deprecation Docker CI #31: Commit 9903afc pushed by pi8027
19m 55s master
master
19m 55s
Remove deprecation code introduced in multinomials 2.2.0 and replace note with use Docker CI #30: Pull request #125 opened by pi8027
22m 32s cleanup-deprecation
cleanup-deprecation
22m 32s
[WIP] replace the infrastructure of mpoly with monalg Docker CI #29: Pull request #116 synchronize by pi8027
18m 36s monalg-based-mpoly
monalg-based-mpoly
18m 36s
[WIP] replace the infrastructure of mpoly with monalg Docker CI #28: Pull request #116 synchronize by pi8027
15m 20s monalg-based-mpoly
monalg-based-mpoly
15m 20s
Merge pull request #124 from math-comp/meta_yml Docker CI #27: Commit 7d6def0 pushed by pi8027
11m 6s master
master
11m 6s
Update meta.yml and require Rocq 9.0 Docker CI #26: Pull request #124 synchronize by pi8027
10m 37s meta_yml
meta_yml
10m 37s
[WIP] replace the infrastructure of mpoly with monalg Docker CI #25: Pull request #116 synchronize by pi8027
4m 12s monalg-based-mpoly
monalg-based-mpoly
4m 12s
Update meta.yml and require Rocq 9.0 Docker CI #24: Pull request #124 synchronize by pi8027
23m 45s meta_yml
meta_yml
23m 45s
Update meta.yml and require Rocq 9.0 Docker CI #23: Pull request #124 opened by pi8027
19m 53s meta_yml
meta_yml
19m 53s
Merge pull request #123 from proux01/rocq Docker CI #22: Commit 16e6606 pushed by proux01
16m 19s master
master
16m 19s
Compat with Rocq (without coq shim) Docker CI #21: Pull request #123 synchronize by proux01
20m 28s proux01:rocq
proux01:rocq
20m 28s
Compat with Rocq (without coq shim) Docker CI #20: Pull request #123 opened by proux01
3m 20s proux01:rocq
proux01:rocq
3m 20s
Merge pull request #122 from proux01/cleanup Docker CI #19: Commit 021c7c6 pushed by proux01
16m 0s master
master
16m 0s
Merge pull request #121 from proux01/reworder Docker CI #18: Commit b931106 pushed by proux01
15m 52s master
master
15m 52s
Cleanup old compat code Docker CI #17: Pull request #122 opened by proux01
16m 37s proux01:cleanup
proux01:cleanup
16m 37s
Port to new rewrite goals order Docker CI #16: Pull request #121 opened by proux01
15m 57s proux01:reworder
proux01:reworder
15m 57s
Merge pull request #119 from proux01/mc1545 Docker CI #15: Commit e4e35b9 pushed by proux01
16m 23s master
master
16m 23s
[WIP] replace the infrastructure of mpoly with monalg Docker CI #14: Pull request #116 synchronize by pi8027
15m 32s monalg-based-mpoly
monalg-based-mpoly
15m 32s
Merge pull request #120 from math-comp/rocq21611 Docker CI #13: Commit abf04e2 pushed by pi8027
15m 52s master
master
15m 52s
Adapt to https://github.com/rocq-prover/rocq/pull/21611 Docker CI #12: Pull request #120 opened by pi8027
16m 18s rocq21611
rocq21611
16m 18s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Docker CI #11: Pull request #119 opened by proux01
5m 28s proux01:mc1545
proux01:mc1545
5m 28s
Merge pull request #113 from math-comp/templates Docker CI #10: Commit a9a6ca8 pushed by pi8027
4m 41s master
master
4m 41s
Switch to Rocq-community templates Docker CI #9: Pull request #113 synchronize by pi8027
4m 58s templates
templates
4m 58s
Switch to Rocq-community templates Docker CI #8: Pull request #113 synchronize by pi8027
4m 47s templates
templates
4m 47s