Skip to content

fix yelling types and remove arbitrary web request #94

fix yelling types and remove arbitrary web request

fix yelling types and remove arbitrary web request #94

Triggered via pull request November 8, 2023 07:17
Status Failure
Total duration 37s
Artifacts

run-tests.yml

on: pull_request
Run tests
12s
Run tests
Run typechecking
24s
Run typechecking
Fit to window
Zoom out
Zoom in

Annotations

1 error
Run typechecking
Process completed with exit code 1.