search

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4
Apache License 2.0
76 stars 21 forks source link

CI failed mysteriously #307

Closed QinshiWang closed 2 years ago

QinshiWang commented 2 years ago

I tried it twice, but all fails when installing some package. https://github.com/verified-network-toolchain/petr4/actions/runs/1625572751

jnfoster commented 2 years ago

Those are core OCaml / Jane Street packages.

Let's see if the issue persists? It doesn't seem to be anything in our scripts and may well be transient.

QinshiWang commented 2 years ago

Still, it goes in an unpredictable way. https://github.com/verified-network-toolchain/petr4/actions/runs/1641999336

pataei commented 2 years ago

Sorry, I just saw this. I look into this today to make sure the script is set up correctly.

-Parisa

On Fri, Dec 31, 2021 at 8:10 PM Qinshi Wang @.***> wrote:

Still, it goes in an unpredictable way. https://github.com/verified-network-toolchain/petr4/actions/runs/1641999336

— Reply to this email directly, view it on GitHub https://github.com/verified-network-toolchain/petr4/issues/307#issuecomment-1003500801, or unsubscribe https://github.com/notifications/unsubscribe-auth/AD7KY5SG7T2KNXNPABQE4ELUTZ5C5ANCNFSM5KZZCRNA . Triage notifications on the go with GitHub Mobile for iOS https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675 or Android https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub.

You are receiving this because you are subscribed to this thread.Message ID: @.***>

QinshiWang commented 2 years ago

It may be not necessarily something's wrong, but because some sources are unstable.

pataei commented 2 years ago

Yeah, menhir had a new release and it seems that its parser has some errors. I forced the current actions to use the previous release of it for now. Petr4-build action was successful (it had the same issue as poulet4-build action), once poulet4-build action passes successfully on my fork I'll push my changes.

On Mon, Jan 3, 2022 at 2:37 PM Qinshi Wang @.***> wrote:

It may be not necessarily something's wrong, but because some sources are unstable.

— Reply to this email directly, view it on GitHub https://github.com/verified-network-toolchain/petr4/issues/307#issuecomment-1004404786, or unsubscribe https://github.com/notifications/unsubscribe-auth/AD7KY5XBOTRXYBGBQSNF6SDUUIQI7ANCNFSM5KZZCRNA . Triage notifications on the go with GitHub Mobile for iOS https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675 or Android https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub.

You are receiving this because you commented.Message ID: @.***>

hackedy commented 2 years ago

Fixed in #323.