Skip to content
Lint

main: use spinner for profile selection instead of an input box #1163

Sign in to view logs

main: use spinner for profile selection instead of an input box

main: use spinner for profile selection instead of an input box #1163

Triggered via push September 22, 2025 15:06
@MuntashirAkonMuntashirAkon
pushed 08597c8
master
Status Success
Total duration 2m 31s
Artifacts 1

lint.yml

on: push
build
2m 28s
build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
artifact Expired
125 KB
sha256:346d2db1edf16d0b8da6cb7a3915d2e7d956de4538c9a8c52649b79ffce7c2ac