Skip to content

Conversation

@JanBessai
Copy link
Member

Fix PGP_PRIVATE

@coveralls
Copy link

coveralls commented Apr 29, 2025

Coverage Status

coverage: 89.583%. remained the same
when pulling 8cf8e6d on scala3
into 4a5a09a on master.

@JanBessai JanBessai merged commit 27d0705 into master Apr 29, 2025
19 checks passed
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.

3 participants