[coq-neural-net-interp-computed] Document incompatibility with Coq 8.18 #180

Sign in to view logs

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

Triggered via pull request October 3, 2023 00:33

JasonGross

opened #2748

JasonGross:nn-818-incompat

Status Success

Total duration 6m 14s

Artifacts –

ci.yml

on: pull_request