Skip to content
CI

chore: change indents #42

Sign in to view logs

chore: change indents

chore: change indents #42

Triggered via push October 31, 2024 06:11
@GreenSlime1024GreenSlime1024
pushed 5ab80f6
main
Status Success
Total duration 21s
Artifacts –

ci.yml

on: push
typecheck
11s
typecheck
Fit to window
Zoom out
Zoom in