Skip to content
Clean up PR caches

use new divider widget in gui/launcher #133

Sign in to view logs

use new divider widget in gui/launcher

use new divider widget in gui/launcher #133

Triggered via pull request January 7, 2024 08:36
@myk002myk002
closed #932
Status Success
Total duration 13s
Artifacts –

clean-cache.yml

on: pull_request_target
cleanup  /  cleanup
5s
cleanup / cleanup
Fit to window
Zoom out
Zoom in