Pipelines · fix CI to only build with coq 8.19.1 (023610f8) · Commits · Iris / gpfsl · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

G

gpfsl
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Releases
- Model registry
- Environments
- Service Desk

Snippets Groups Projects

- Iris
- gpfsl
Commits

Commit 023610f8 authored 6 months ago by Hai Dang

Downloads
- Patches
- Plain Diff

fix CI to only build with coq 8.19.1

parent 528c3483

No related branches found

No related tags found

No related merge requests found

Pipeline #108474 passed 5 months ago

Changes 2
Pipelines 5