CI

Packages for coq-sail and coq-sail-stdpp 0.19 #1785

Sign in to view logs

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

Triggered via pull request March 13, 2025 18:03

bacam

opened #3360

bacam:coq-sail.0.19

Status Failure

Total duration 1m 30s

Artifacts –

ci.yml

on: pull_request

Annotations

1 error

Process completed with exit code 2.