Triage tasks

coqide: rename to `coq-platform`, update #105220

Sign in to view logs

Triggered via pull request November 23, 2024 21:30

p-linnane

synchronize #191558

Status Success

Total duration 16s

Artifacts –

triage.yml

on: pull_request_target

limit-pull-requests