Skip to content

Conversation

@btj
Copy link

@btj btj commented Sep 24, 2025

The links to Challenge 5 and onward in README.md are broken. This PR fixes them.

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

@btj btj requested a review from a team as a code owner September 24, 2025 06:22
@tautschnig tautschnig added this pull request to the merge queue Sep 24, 2025
Merged via the queue into model-checking:main with commit 9187a7f Sep 24, 2025
26 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants