Skip to content

Drop support for Coq 8.18#84

Merged
4ever2 merged 1 commit intomainfrom
drop-18
Sep 23, 2025
Merged

Drop support for Coq 8.18#84
4ever2 merged 1 commit intomainfrom
drop-18

Conversation

@4ever2
Copy link
Collaborator

@4ever2 4ever2 commented Jun 16, 2025

No description provided.

@4ever2
Copy link
Collaborator Author

4ever2 commented Jun 16, 2025

The Nix CI for bundle 8.18 workflow failure is expected and should be ignored.

@4ever2 4ever2 marked this pull request as ready for review September 23, 2025 13:27
@4ever2 4ever2 merged commit b6db93b into main Sep 23, 2025
16 of 17 checks passed
@4ever2 4ever2 deleted the drop-18 branch September 23, 2025 14:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

Comments