Skip to content

Improve reloading of documents to avoid spurious side-effects #514

Improve reloading of documents to avoid spurious side-effects

Improve reloading of documents to avoid spurious side-effects #514

Triggered via pull request November 15, 2025 11:51
@krassowskikrassowski
synchronize #355
Status Success
Total duration 53s
Artifacts

license-header.yml

on: pull_request_target
header-license-fix
50s
header-license-fix
Fit to window
Zoom out
Zoom in

Annotations

1 warning
header-license-fix
Restore cache failed: Some specified paths were not resolved, unable to cache dependencies.