Skip to content

Merge remote-tracking branch 'ci/main' #64

Merge remote-tracking branch 'ci/main'

Merge remote-tracking branch 'ci/main' #64

Triggered via push April 16, 2024 12:35
Status Success
Total duration 54s
Artifacts

check.yml

on: push
ubuntu / 3.9 / fmt
31s
ubuntu / 3.9 / fmt
ubuntu / 3.9 / lint
32s
ubuntu / 3.9 / lint
ubuntu / 3.9 / type-check
32s
ubuntu / 3.9 / type-check
check-check
2s
check-check
Fit to window
Zoom out
Zoom in