Skip to content
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 std flake and tullia #4108

Merged
merged 3 commits into from
Dec 5, 2022
Merged

add std flake and tullia #4108

merged 3 commits into from
Dec 5, 2022

Conversation

dermetfan
Copy link
Contributor

@dermetfan dermetfan commented Oct 26, 2022

Also purified nix evaluation of hydra jobs.

@dermetfan dermetfan force-pushed the tullia branch 14 times, most recently from 2bc6471 to a65deb8 Compare October 27, 2022 07:17
@dermetfan dermetfan force-pushed the tullia branch 2 times, most recently from 4cb3571 to fd6d720 Compare November 7, 2022 13:26
@dermetfan dermetfan marked this pull request as ready for review November 7, 2022 13:49
@dermetfan dermetfan requested review from a team, coot, bolt12 and nfrisby as code owners November 7, 2022 13:49
@dermetfan dermetfan added the nix This includes CI, nix changes or cabal dependencies label Nov 7, 2022
Copy link
Member

@amesgen amesgen left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks! I hope my latest two commits correctly resolved the x86_64-darwin issue and removed the aarch64 jobs. Let's wait if CI succeeds, then I will squash and merge (manually, as Bors is also dead).

}
)
{
hydraJobs = std.harvest self ["automation" "hydraJobs"];
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Two questions (I tried to look for Cicero/Tullia documentation, but couldn't find any; but I didn't look too deep):

  • Is there a per-job view as there was for Hydra? Or is there just one big stdout/stderr log?
  • Is it possible to restart jobs (without pushing a dummy commit)?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Unfortunately the answer is no for both questions at this time. You can alternatively also resubmit the webhook from the repo settings to retry, but git commit --amend; git push -f is quicker and easier...

Copy link
Member

@amesgen amesgen left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Cicero CI passed 🎉

Bors is currently dead, but it might be revived, so let's update it to be safe.
@amesgen amesgen merged commit f105b2a into master Dec 5, 2022
@amesgen amesgen deleted the tullia branch December 5, 2022 09:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
nix This includes CI, nix changes or cabal dependencies
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants