PR Labeler

[Math-Checker] Repair overflow scrollbar #279

Sign in to view logs

Summary
Jobs
- triage
Run details
- Usage
- Workflow file

Triggered via pull request January 12, 2024 12:43

Zitrone44

opened #1553

Status Success

Total duration 14s

Artifacts –

labeler.yml

on: pull_request_target