Lint

[Chore] Added ID to manually entered server (#794) #250

Sign in to view logs

Summary
Jobs
- duster
Run details
- Usage
- Workflow file

Triggered via push September 20, 2023 00:06

main

Status Success

Total duration 22s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

lint.yml

on: push