Label PR

coq: 8.19.1 → 8.19.2 #477389

Sign in to view logs

Summary
Jobs
- labels
Run details
- Usage
- Workflow file

Triggered via pull request June 10, 2024 13:39

vbgl

opened #318799

Status Success

Total duration 13s

Artifacts –

labels.yml

on: pull_request_target