CI

[coq-rewriter] Bump minimal version to 8.18 #1668

Sign in to view logs

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

Triggered via pull request January 28, 2025 20:07

JasonGross

opened #3318

coq-rewriter-dev-bump-version

Status Success

Total duration 2m 51s

Artifacts –

ci.yml

on: pull_request