Skip to content
Check that OK files are up to date

Generated files, as if they had header checks applied. #1557

Sign in to view logs

Generated files, as if they had header checks applied.

Generated files, as if they had header checks applied. #1557

Triggered via pull request September 12, 2025 08:51
@hzellerhzeller
opened #8318
hzeller:feature-20250912-db-gen
Status Success
Total duration 48s
Artifacts –

github-actions-are-differences-found.yml

on: pull_request
No-Diffs-In-Ok-Files
41s
No-Diffs-In-Ok-Files
Fit to window
Zoom out
Zoom in