New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

adapt to coq/coq#18563 #1814

Merged

andres-erbsen merged 1 commit into mit-plv:master from andres-erbsen:more-nth_error

Jan 31, 2024

Contributor

andres-erbsen commented Jan 30, 2024

untested

andres-erbsen force-pushed the more-nth_error branch 2 times, most recently from e355fd3 to 9bde5bb Compare

January 30, 2024 20:23


          adapt to coq/coq#18563

5ea6d6c

andres-erbsen force-pushed the more-nth_error branch from 9bde5bb to 5ea6d6c Compare

January 30, 2024 20:23

andres-erbsen enabled auto-merge (squash)

January 30, 2024 20:24

andres-erbsen merged commit 9a8e71b into mit-plv:master

39 checks passed

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet