CI

Add coq-coqeal.2.1.0 #1727

Sign in to view logs

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

Triggered via pull request February 18, 2025 16:48

proux01

synchronize #3345

proux01:coqeal210

Status Success

Total duration 1m 32s

Artifacts –

ci.yml

on: pull_request