Skip to content

Actions: math-comp/algebra-tactics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow runs
19 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
Adapt to https://github.com/rocq-prover/stdlib/pull/251 Docker CI #376: Pull request #131 opened by proux01
4m 17s proux01:stdlib251
proux01:stdlib251
4m 17s
Merge pull request #130 from proux01/rocq21851 Docker CI #375: Commit 7da689b pushed by proux01
27m 41s master
master
27m 41s
Adapt to https://github.com/proux01/algebra-tactics/pull/new/rocq21851 Docker CI #374: Pull request #130 opened by proux01
18m 49s proux01:rocq21851
proux01:rocq21851
18m 49s
Merge pull request #129 from proux01/mc1545 Docker CI #373: Commit 004fc26 pushed by pi8027
25m 23s master
master
25m 23s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Docker CI #372: Pull request #129 synchronize by proux01
12m 20s proux01:mc1545
proux01:mc1545
12m 20s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Docker CI #371: Pull request #129 opened by proux01
12m 3s proux01:mc1545
proux01:mc1545
12m 3s
Merge pull request #122 from proux01/fix-110 Docker CI #370: Commit 88aab35 pushed by proux01
19m 59s master
master
19m 59s
Merge pull request #126 from proux01/stdlib207 Docker CI #369: Commit d334887 pushed by proux01
22m 39s master
master
22m 39s
Adapt to https://github.com/rocq-prover/stdlib/pull/207 Docker CI #368: Pull request #126 opened by proux01
19m 29s proux01:stdlib207
proux01:stdlib207
19m 29s
Merge pull request #125 from proux01/mc1456 Docker CI #367: Commit b8e7cdc pushed by proux01
14m 50s master
master
14m 50s
Adapt to https://github.com/math-comp/math-comp/pull/1456 Docker CI #366: Pull request #125 opened by proux01
16m 18s proux01:mc1456
proux01:mc1456
16m 18s
Fix #110 (stabilize field tactic) Docker CI #365: Pull request #122 synchronize by proux01
20m 41s proux01:fix-110
proux01:fix-110
20m 41s
Fix #110 (stabilize field tactic) Docker CI #364: Pull request #122 synchronize by proux01
20m 28s proux01:fix-110
proux01:fix-110
20m 28s
Merge pull request #123 from proux01/rocq-elpi-310 Docker CI #363: Commit a67db79 pushed by proux01
20m 34s master
master
20m 34s
Fix #110 (stabilize field tactic) Docker CI #362: Pull request #122 synchronize by proux01
20m 52s proux01:fix-110
proux01:fix-110
20m 52s
Compile with rocq-elpi 3.1.0 Docker CI #361: Pull request #123 opened by proux01
20m 43s proux01:rocq-elpi-310
proux01:rocq-elpi-310
20m 43s
Fix #110 (stabilize field tactic) Docker CI #360: Pull request #122 opened by proux01
20m 52s proux01:fix-110
proux01:fix-110
20m 52s
Merge pull request #119 from proux01/micromega-core Docker CI #359: Commit 4a97c2a pushed by pi8027
18m 21s master
master
18m 21s
Adapt to https://github.com/math-comp/math-comp/pull/1448 Docker CI #358: Pull request #119 opened by proux01
16m 2s proux01:micromega-core
proux01:micromega-core
16m 2s