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

ensure 'koch boot --gc:orc' stays green #18353

Merged
merged 3 commits into from
Jun 26, 2021
Merged

ensure 'koch boot --gc:orc' stays green #18353

merged 3 commits into from
Jun 26, 2021

Conversation

Araq
Copy link
Member

@Araq Araq commented Jun 25, 2021

No description provided.

@Araq Araq closed this Jun 25, 2021
@Araq Araq reopened this Jun 25, 2021
@Araq Araq closed this Jun 25, 2021
@Araq Araq reopened this Jun 25, 2021
@Araq Araq added the merge_when_passes_CI mergeable once green label Jun 25, 2021
@Varriount Varriount merged commit 39fbf3c into devel Jun 26, 2021
Varriount added a commit that referenced this pull request Jun 26, 2021
@Araq Araq deleted the araq-orc-booting branch June 26, 2021 04:52
PMunch pushed a commit to PMunch/Nim that referenced this pull request Mar 28, 2022
* ensure 'koch boot --gc:orc' stays green

* disable for C++ code generator for now
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merge_when_passes_CI mergeable once green
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants