Skip to content

Drop support for Coq 8.19#85

Merged
4ever2 merged 1 commit intomainfrom
drop-19
Oct 2, 2025
Merged

Drop support for Coq 8.19#85
4ever2 merged 1 commit intomainfrom
drop-19

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.19 workflow failure is expected and should be ignored.

@4ever2 4ever2 marked this pull request as ready for review September 23, 2025 14:05
@MarkusKL
Copy link
Contributor

This looks fine to me. See also #92 regarding the flake.

@4ever2 4ever2 merged commit 36c4e1c into main Oct 2, 2025
15 of 16 checks passed
@4ever2 4ever2 deleted the drop-19 branch October 2, 2025 08:57
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.

2 participants

Comments