Skip to content
.github/workflows/main.yml

SizeandConnectedness updated file post Hlevel -> Truncation #3448

Sign in to view logs

SizeandConnectedness updated file post Hlevel -> Truncation

SizeandConnectedness updated file post Hlevel -> Truncation #3448

Triggered via pull request November 20, 2024 01:34
@IanRay11IanRay11
synchronize #328
IanRay11:SmallTypesandConnectedness
Status Skipped
Total duration 2s
Artifacts –

main.yml

on: pull_request
Typechecking
0s
Typechecking
Fit to window
Zoom out
Zoom in