CI

Make links in coinduction.md clickable #4815

Sign in to view logs

Summary
Jobs
- ci
Run details
- Usage
- Workflow file

Triggered via pull request May 27, 2025 14:45

smanilov

opened #2417

smanilov:patch-16

Status Success

Total duration 15s

Artifacts –

ci.yml

on: pull_request