Skip to content

Merge remote-tracking branch 'make/main' #28

Merge remote-tracking branch 'make/main'

Merge remote-tracking branch 'make/main' #28

Triggered via push March 12, 2024 09:52
Status Success
Total duration 2m 48s
Artifacts

check.yml

on: push
ubuntu / 3.9 / fmt
1m 57s
ubuntu / 3.9 / fmt
ubuntu / 3.9 / lint
2m 30s
ubuntu / 3.9 / lint
ubuntu / 3.9 / type-check
2m 1s
ubuntu / 3.9 / type-check
check-check
1s
check-check
Fit to window
Zoom out
Zoom in