CI

Make links in coinduction.md clickable #4819

Sign in to view logs

Summary
Jobs
- ci
Run details
- Usage
- Workflow file

Triggered via pull request May 27, 2025 15:53

smanilov

synchronize #2417

smanilov:patch-16

Status Success

Total duration 12s

Artifacts –

ci.yml

on: pull_request