-
Notifications
You must be signed in to change notification settings - Fork 41
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
add tullia tasks and cicero action for CI #205
base: master
Are you sure you want to change the base?
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
Also purified nix evaluation of hydra jobs.