Back to pull request #3343

[extra-dev] Add rocq-elpi #1721

Sign in to view logs

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

Triggered via pull request February 18, 2025 09:32

proux01

opened #3343

proux01:rocq-elpi

Status Success

Total duration 5m 4s

Artifacts –

ci.yml

on: pull_request