Skip to content
.github/workflows/main.yml

SizeandConnectedness updated file post Hlevel -> Truncation #3444

Sign in to view logs

SizeandConnectedness updated file post Hlevel -> Truncation

SizeandConnectedness updated file post Hlevel -> Truncation #3444

Triggered via pull request November 14, 2024 18:50
@IanRay11IanRay11
synchronize #328
IanRay11:SmallTypesandConnectedness
Status Skipped
Total duration 3s
Artifacts –

main.yml

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