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

Gitlab CI improvements #3324

Merged
merged 22 commits into from
Dec 21, 2022
Merged

Gitlab CI improvements #3324

merged 22 commits into from
Dec 21, 2022

Conversation

wz1000
Copy link
Collaborator

@wz1000 wz1000 commented Nov 8, 2022

This patch improves the release scripts in a number of ways and unblocks
releases on darwin due to LLVM mismatches.

  • Add ubuntu builds to gitlab CI
  • Run pipelines from web interface
  • Use nix for darwin builds instead of homebrew
  • Drop 9.2.3 and add 9.4.3
  • Build in parallel

@@ -0,0 +1,34 @@
{ system }:
Copy link
Collaborator

Choose a reason for hiding this comment

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

what is this for? what does it do? etc. etc. documentation please!

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

This is taken almost verbatim from the GHC nix setup script. I can add a note pointing to that, but beyond that I have very little experience with nix, so all of the nix stuff is just cargo-culted from GHC itself.

Copy link
Collaborator

Choose a reason for hiding this comment

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

"I cargo-culted this from GHC, here's a link to the upstream version" is incredibly useful information for someone reading this!

@hasufell
Copy link
Member

hasufell commented Nov 9, 2022

Looks ok to me... but I won't be touching anything nix related. So hope you're up for maintaining that.

@pepeiborra
Copy link
Collaborator

@wz1000 do you still need a stamp on this?

@wz1000 wz1000 enabled auto-merge (rebase) December 20, 2022 11:29
@wz1000 wz1000 disabled auto-merge December 20, 2022 12:16
@wz1000 wz1000 enabled auto-merge (rebase) December 21, 2022 08:47
@wz1000 wz1000 disabled auto-merge December 21, 2022 10:33
@wz1000 wz1000 added the merge me Label to trigger pull request merge label Dec 21, 2022
@mergify mergify bot merged commit 6e4612d into master Dec 21, 2022
@wz1000 wz1000 mentioned this pull request Jan 7, 2023
11 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merge me Label to trigger pull request merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants