Make coq-interval.4.8.0 compatible with flocq 4.1.2 #69

Sign in to view logs

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

Triggered via pull request September 8, 2023 01:48

JasonGross

opened #2707

JasonGross:fix-interval

Status Success

Total duration 4m 14s

Artifacts –

ci.yml

on: pull_request