Skip to content
.github/workflows/main.yml

SizeandConnectedness updated file post Hlevel -> Truncation #3438

Sign in to view logs

SizeandConnectedness updated file post Hlevel -> Truncation

SizeandConnectedness updated file post Hlevel -> Truncation #3438

Triggered via pull request November 10, 2024 17:45
@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