Skip to content

Actions: math-comp/finmap

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
78 workflow runs
78 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

from MathComp-Analysis' unstable.v Docker CI #140: Pull request #149 synchronize by affeldt-aist
3m 57s affeldt-aist:unstable_20260101
affeldt-aist:unstable_20260101
3m 57s
Update coq-nix-toolbox. Docker CI #139: Pull request #148 synchronize by arthuraa
4m 4s arthuraa:mathcomp-2.5.0-update
arthuraa:mathcomp-2.5.0-update
4m 4s
Update coq-nix-toolbox. Docker CI #138: Pull request #148 opened by arthuraa
16m 2s arthuraa:mathcomp-2.5.0-update
arthuraa:mathcomp-2.5.0-update
16m 2s
Missing fsubU1set lemma Docker CI #137: Pull request #145 opened by CohenCyril
4m 22s fsubU1set
fsubU1set
4m 22s
Port to HB.lock Docker CI #136: Pull request #144 synchronize by pi8027
15m 53s cleanup-phant
cleanup-phant
15m 53s
Port to HB.lock Docker CI #135: Pull request #144 synchronize by pi8027
14m 33s cleanup-phant
cleanup-phant
14m 33s
Port to HB.lock Docker CI #134: Pull request #144 synchronize by pi8027
14m 28s cleanup-phant
cleanup-phant
14m 28s
Port to HB.lock Docker CI #133: Pull request #144 synchronize by pi8027
15m 41s cleanup-phant
cleanup-phant
15m 41s
Port to HB.lock Docker CI #132: Pull request #144 synchronize by pi8027
24m 37s cleanup-phant
cleanup-phant
24m 37s
Port to HB.lock Docker CI #131: Pull request #144 synchronize by pi8027
25m 13s cleanup-phant
cleanup-phant
25m 13s
Port to HB.lock Docker CI #130: Pull request #144 opened by pi8027
3m 45s cleanup-phant
cleanup-phant
3m 45s
Merge pull request #140 from affeldt-aist/unstable_20250703 Docker CI #129: Commit c0cf3df pushed by proux01
6m 22s master
master
6m 22s
lemma from MathComp-Analysis' unstable.v Docker CI #128: Pull request #140 synchronize by proux01
6m 20s affeldt-aist:unstable_20250703
affeldt-aist:unstable_20250703
6m 20s
Merge pull request #142 from proux01/ci-update Docker CI #127: Commit 4febba2 pushed by proux01
6m 32s master
master
6m 32s
[CI] Update Nix toolbox Docker CI #126: Pull request #142 synchronize by proux01
6m 21s proux01:ci-update
proux01:ci-update
6m 21s
[CI] Update Nix toolbox Docker CI #125: Pull request #142 synchronize by proux01
6m 15s proux01:ci-update
proux01:ci-update
6m 15s
[CI] Update Nix toolbox Docker CI #124: Pull request #142 opened by proux01
6m 17s proux01:ci-update
proux01:ci-update
6m 17s
lemma from MathComp-Analysis' unstable.v Docker CI #123: Pull request #140 opened by affeldt-aist
8m 44s affeldt-aist:unstable_20250703
affeldt-aist:unstable_20250703
8m 44s
Merge pull request #139 from proux01/rm-redundant-notation Docker CI #122: Commit d9ffee5 pushed by proux01
19m 56s master
master
19m 56s
Lock filterf Docker CI #121: Commit b8cb5f8 pushed by proux01
18m 38s master
master
18m 38s
Merge pull request #139 from proux01/rm-redundant-notation Docker CI #120: Commit d9ffee5 pushed by proux01
6m 25s master
master
6m 25s
Remove redundant notation reservation Docker CI #119: Pull request #139 opened by proux01
5m 58s proux01:rm-redundant-notation
proux01:rm-redundant-notation
5m 58s
Merge pull request #138 from arthuraa/fmap_rect Docker CI #118: Commit 054881a pushed by CohenCyril
5m 41s master
master
5m 41s
Add induction principle for fmap. Docker CI #117: Pull request #138 opened by arthuraa
6m 14s arthuraa:fmap_rect
arthuraa:fmap_rect
6m 14s
Merge pull request #137 from arthuraa/imfset_eq_fsinjectiveP Docker CI #116: Commit b6810d5 pushed by CohenCyril
5m 20s master
master
5m 20s