indentation

Merge pull request #1580 from goblint/issue-1577 #11708

Sign in to view logs

Triggered via push December 20, 2024 09:44

sim642

master

Status Success

Total duration 4m 44s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

indentation.yml

on: push

Matrix: indentation