Skip to content

CI: Not reusing changed_files on push to main - #1586

Merged
bedroge merged 1 commit into
mainfrom
ocaisa-patch-1
Aug 20, 2026
Merged

CI: Not reusing changed_files on push to main#1586
bedroge merged 1 commit into
mainfrom
ocaisa-patch-1

CI: Not reusing `changed_files` on push to main

5513683
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check_EESSI_version_changed_files
succeeded Aug 19, 2026 in 6s