CI

Add rocq-elpi.2.5.0 #1723

Sign in to view logs

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

Triggered via pull request February 18, 2025 10:53

proux01

opened #3344

proux01:rocq-elpi250

Status Success

Total duration 1m 25s

Artifacts –

ci.yml

on: pull_request