The Wayback Machine - https://web.archive.org/web/20211104160836/https://github.com/carp-lang/Carp/pull/1313
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

Jump to bottom

ci: Merges different platform releases into one #1313

Merged
merged 2 commits into from Sep 17, 2021
Merged

ci: Merges different platform releases into one #1313

merged 2 commits into from Sep 17, 2021

Conversation

Reviewers

@eriksvedang eriksvedang

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants
@TimDeve @eriksvedang
@TimDeve
Copy link
Contributor

@TimDeve TimDeve commented Sep 14, 2021

This PR merges the separate releases pages into one for ease of navigation.

An example of what the release would look like can be found here, where merge-release would be replaced by the version tag.
@TimDeve
Copy link
Contributor Author

@TimDeve TimDeve commented Sep 14, 2021

Failure seems unrelated to the changes, Veit is describing the problem in #1311

Loading

@eriksvedang
Copy link
Collaborator

@eriksvedang eriksvedang commented Sep 14, 2021

@TimDeve Oh, very nice! Thanks a ton for this!

Loading

eriksvedang
eriksvedang reviewed Sep 14, 2021
View changes
Copy link
Collaborator

@eriksvedang eriksvedang left a comment •
edited
Loading

Can we just as well remove the scripts in disabled-workflows ?

Loading

@TimDeve
Copy link
Contributor Author

@TimDeve TimDeve commented Sep 14, 2021

Yes, we can. I wasn't sure if you wanted to keep them or not.

Loading

@TimDeve TimDeve changed the title Merges different platform releases into one ci: Merges different platform releases into one Sep 14, 2021
TimDeve added 2 commits Sep 15, 2021
@TimDeve
ci: Merges different platform releases into one
bfd480a
@TimDeve
ci: Removes platform specific release pipelines
02b0ea8
@eriksvedang eriksvedang merged commit cf3fddf into carp-lang:master Sep 17, 2021
5 checks passed
Loading
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment