Skip to content

Switch CI from bors to merge queue #1368

Switch CI from bors to merge queue

Switch CI from bors to merge queue #1368

Triggered via pull request November 7, 2024 17:15
Status Success
Total duration 10m 43s
Artifacts 3

lintcheck.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

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