Skip to content

Port 'catch-type-error' branch to 'main' #57

Port 'catch-type-error' branch to 'main'

Port 'catch-type-error' branch to 'main' #57

Triggered via pull request August 3, 2023 01:30
Status Success
Total duration 36s
Artifacts

test.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in