Skip to content
Lint

Port UI from old get_config to settings #385

Sign in to view logs

Port UI from old get_config to settings

Port UI from old get_config to settings #385

Triggered via push September 13, 2023 13:23
@rudaruda
pushed b657ade
main
Status Success
Total duration 31s
Artifacts –

lint.yml

on: push
Matrix: lint
Fit to window
Zoom out
Zoom in