alt-ergo icon indicating copy to clipboard operation
alt-ergo copied to clipboard

Published 20 hours ago • verified publisher icon OCamlPro

Fix CI

Open Stevendeo opened this issue 1 year ago • 1 comments

Stevendeo avatar Jul 11 '22 13:07 Stevendeo

The CI is currently broken, this PR aims at fixing the different CI issues.

Stevendeo avatar Jul 11 '22 14:07 Stevendeo

This PR needs to be merged otherwise all new PRs and PRs that have recent commits will keep having failing CIs

hra687261 avatar Sep 15 '22 09:09 hra687261

Well, looks like this actually broke CI once merged cc @Stevendeo , :p

Gbury avatar Sep 20 '22 14:09 Gbury

It actually failed in a new way. The error is not the same as the one it fixes. I created a PR #525 which should fix the new CI error

hra687261 avatar Sep 20 '22 20:09 hra687261