ci: rename lint actions #18

Triggered via push December 13, 2023 12:29

mcmikius

main

Status Success

Total duration 2m 28s

Artifacts 1

docc.yml

on: push

1 warning

docs/index/data.mdb

Produced during runtime

Name	Size
github-pages Expired	980 KB