DOC

port to Elpi 2.0 #1323

Sign in to view logs

Summary
Jobs
- Build doc
Run details
- Usage
- Workflow file

Triggered via pull request November 28, 2024 11:31

gares

synchronize #719

elpi-2.0

Status Failure

Total duration 4m 4s

Artifacts –

doc.yml

on: pull_request

Annotations

1 error

Process completed with exit code 20.