Skip to content

Switch CI from bors to merge queue #1245

Switch CI from bors to merge queue

Switch CI from bors to merge queue #1245

Triggered via pull request October 25, 2024 06:36
Status Success
Total duration 10m 11s
Artifacts 3

lintcheck.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
base
20.5 MB
diff
364 Bytes
head
20.5 MB