-
Notifications
You must be signed in to change notification settings - Fork 50
add tullia tasks and cicero action for CI #205
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
9ce0c1a
to
4063368
Compare
2e65d1a
to
1dbe5ce
Compare
There is this cicero job failing https://cicero.ci.iog.io/run/940d28a9-711e-408b-8ccb-7f7388ccf7bb, I guess this needs to be addressed before merging @dermetfan? |
@piotr-iohk I think no. It fails because the nix build is failing, which is what CI is supposed to report, so CI is working. |
@paweljakubas @HeinrichApfelmus do you know why is this job failing and how to fix it? https://cicero.ci.iog.io/run/940d28a9-711e-408b-8ccb-7f7388ccf7bb |
Unfortunately, I am unable to tell from the Cicero UI whether the job is failing or not. I see the following items:
How do I make heads or tails of this? |
Unfortunately this status is often wrong (since we switched to the podman driver iirc). We are aware of this and there's an open issue. Truth is that
|
@dermetfan thanks. While we're at it: Could you also change the status description "Failed: false" to "Success: true"? Reading the double negative is very confusing. |
@piotr-iohk I have no idea. Apparently, the |
a2ab6bd
to
4130508
Compare
As cicero is gone, I think we can drop this. |
Also purified nix evaluation of hydra jobs.