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.

Sign up for GitHub

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

Jump to bottom

Duplicate all CI jobs to also run on macOS. #48

Open
Zimmi48 opened this issue Jul 1, 2021 · 3 comments
Open

Duplicate all CI jobs to also run on macOS. #48

Zimmi48 opened this issue Jul 1, 2021 · 3 comments
Labels
enhancement New feature or request good first issue Good for newcomers

Comments

@Zimmi48
Copy link
Member

Zimmi48 commented Jul 1, 2021

Maybe this should be a config option so that projects whose main contributors all use the same system (Linux or macOS) do not actually duplicate the jobs they run?
@Zimmi48 Zimmi48 added the enhancement New feature or request label Jul 1, 2021
@CohenCyril
Copy link
Collaborator

Good point

@siraben
Copy link
Member

siraben commented Jul 21, 2021

I ran into this today, had to rebuild compcert because I was on macOS.

@Zimmi48
Copy link
Member Author

Zimmi48 commented Jul 21, 2021

If you happen to have time for this, feel free to open a PR, it should be relatively easy to implement

@Zimmi48 Zimmi48 added the good first issue Good for newcomers label Jul 21, 2021
@siraben siraben mentioned this issue Aug 3, 2021
Closed
@Zimmi48 Zimmi48 mentioned this issue Aug 11, 2021
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request good first issue Good for newcomers
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Enable matrix builds on CI siraben/coq-nix-toolbox
Generate GitHub workflows on Ubuntu and macOS.
3 participants
@CohenCyril @Zimmi48 @siraben