Skip to content

fix(CI): Use mathcomp/mathcomp-dev:rocq-prover-dev#102

Merged
erikmd merged 1 commit into
masterfrom
fix-ci
Feb 9, 2025
Merged

fix(CI): Use mathcomp/mathcomp-dev:rocq-prover-dev#102
erikmd merged 1 commit into
masterfrom
fix-ci

Conversation

@erikmd

@erikmd erikmd commented Feb 9, 2025

Copy link
Copy Markdown
Collaborator

No description provided.

@erikmd erikmd added the fix label Feb 9, 2025
@erikmd erikmd self-assigned this Feb 9, 2025
@erikmd erikmd merged commit bb56f2e into master Feb 9, 2025
@erikmd erikmd deleted the fix-ci branch February 9, 2025 23:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant