Skip to content
Check that OK files are up to date

Fix accidental use of function meant to remove() a file. #1289

Sign in to view logs

Fix accidental use of function meant to remove() a file.

Fix accidental use of function meant to remove() a file. #1289

Triggered via pull request August 29, 2025 14:43
@hzellerhzeller
synchronize #8154
hzeller:feature-20250829-fix-file-remove
Status Success
Total duration 47s
Artifacts –

github-actions-are-differences-found.yml

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