CI

add coq-equations.1.3+8.19 to extra-dev #526

Sign in to view logs

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

Triggered via pull request January 9, 2024 16:43

palmskog

opened #2892

palmskog:add-equations-8.19

Status Success

Total duration 2m 38s

Artifacts –

ci.yml

on: pull_request