Skip to content
check

[flat.set.defn] Fix indentation #11384

Sign in to view logs

[flat.set.defn] Fix indentation

[flat.set.defn] Fix indentation #11384

Triggered via pull request December 26, 2025 08:17
@Andreas-KrugAndreas-Krug
opened #8685
Andreas-Krug:patch-782759
Status Success
Total duration 6m 41s
Artifacts 1

check.yml

on: pull_request
Matrix: run-checks
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
draft-snapshot
9.03 MB
sha256:591a2f26ddbd48649b9d0fd20226a9316dc1e50ab34ee8e7735f5f80e27d8cc7