hierarchy-builder icon indicating copy to clipboard operation
hierarchy-builder copied to clipboard

Published 20 hours ago • verified publisher icon math-comp

Update CI on branch coq-master

Open proux01 opened this issue 2 years ago • 4 comments

proux01 avatar May 06 '22 08:05 proux01

@gares note that the coq-dev Docker images are currently broken: https://coq.zulipchat.com/#narrow/stream/237656-Coq-devs-.26-plugin-devs/topic/.3E.3D.204.2E09.20and.20opam/near/281145605

proux01 avatar May 06 '22 09:05 proux01

@proux01 is this PR still actual?

CohenCyril avatar Jul 22 '22 16:07 CohenCyril

Well, now it is ;-) (but this coq-master branch seems a bit broken)

proux01 avatar Jul 24 '22 09:07 proux01

@gares CI is as green as expected, we can merge this if we want CI on the coq-master branch of HB.

proux01 avatar Jul 29 '22 09:07 proux01