Skip to content

[8.0] JobDB: update LastUpdateTime when the job is matched#7701

Merged
fstagni merged 2 commits intoDIRACGrid:rel-v8r0from fstagni:80_updateLastUpdateTime_MatchedJun 27, 2024

Commits

Commits on Jun 26, 2024