Add coq-sail package #78

Sign in to view logs

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

Triggered via pull request September 8, 2023 10:28

bacam

opened #2712

bacam:coq-sail-0.16

Status Success

Total duration 3m 10s

Artifacts –

ci.yml

on: pull_request