Skip to content
Back to pull request #1456

CI: use different seed for github actions #167

Sign in to view logs

CI: use different seed for github actions

CI: use different seed for github actions #167

Triggered via pull request October 2, 2023 11:43
@benlorenzbenlorenz
opened #1456
benlorenz:bl/betterseed
Status Success
Total duration 3m 59s
Artifacts –

Invalidations.yml

on: pull_request
compare-invalidations
3m 50s
compare-invalidations
Fit to window
Zoom out
Zoom in