coq-mathcomp-real-closed.1.1.4 supports 8.18 #48

Sign in to view logs

Summary
Jobs
- build
- deploy
Run details
- Usage
- Workflow file

Triggered via pull request September 1, 2023 17:32

palmskog

opened #2696

palmskog:real-closed-1.1.4-8.18

Status Success

Total duration 4m 9s

Artifacts –

ci.yml

on: pull_request