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

ci: pin Nim for PR builds to v2.0.4 temporarily #6267

Merged
merged 1 commit into from
May 6, 2024
Merged

Conversation

jakubgs
Copy link
Member

@jakubgs jakubgs commented May 6, 2024

Mitigation for:
nim-lang/Nim#23568

@jakubgs jakubgs requested a review from tersec May 6, 2024 18:00
@jakubgs jakubgs self-assigned this May 6, 2024
Mitigation for:
nim-lang/Nim#23568

Signed-off-by: Jakub Sokołowski <jakub@status.im>
@jakubgs jakubgs force-pushed the ci/pin-nim-v2.0.4 branch from 55f5746 to 6cef705 Compare May 6, 2024 19:27
Copy link

github-actions bot commented May 6, 2024

Unit Test Results

         9 files  ±0    1 322 suites  ±0   36m 45s ⏱️ + 3m 55s
  4 982 tests ±0    4 634 ✔️ ±0  348 💤 ±0  0 ±0 
20 829 runs  ±0  20 425 ✔️ ±0  404 💤 ±0  0 ±0 

Results for commit 6cef705. ± Comparison against base commit 4a1a2c8.

@tersec tersec merged commit 7acf383 into unstable May 6, 2024
14 checks passed
@tersec tersec deleted the ci/pin-nim-v2.0.4 branch May 6, 2024 22:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants