Skip to content

Bump CI to racket 8.18#443

Merged
BNAndras merged 2 commits intoexercism:mainfrom
BNAndras:bump-ci
Oct 16, 2025
Merged

Bump CI to racket 8.18#443
BNAndras merged 2 commits intoexercism:mainfrom
BNAndras:bump-ci

Conversation

@BNAndras
Copy link
Member

No description provided.

@BNAndras BNAndras added x:type/ci Work on Continuous Integration (e.g. GitHub Actions workflows) x:rep/tiny Tiny amount of reputation labels Oct 14, 2025
@BNAndras BNAndras requested a review from a team October 14, 2025 05:37
Copy link
Contributor

@blakelewis blakelewis left a comment

Choose a reason for hiding this comment

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

Nice!

@BNAndras BNAndras merged commit 21f08c1 into exercism:main Oct 16, 2025
6 checks passed
@BNAndras BNAndras deleted the bump-ci branch October 16, 2025 18:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

x:rep/tiny Tiny amount of reputation x:type/ci Work on Continuous Integration (e.g. GitHub Actions workflows)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants