Skip to content
Lint

remove unnecessary stuff #304

Sign in to view logs

remove unnecessary stuff

remove unnecessary stuff #304

Triggered via push September 5, 2023 11:00
@iritkatrieliritkatriel
pushed 89da961
instr_ptr
Status Success
Total duration 52s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

lint.yml

on: push
lint
41s
lint
Fit to window
Zoom out
Zoom in