Skip to content
.github/workflows/main.yml

SizeandConnectedness updated file post Hlevel -> Truncation #3434

Sign in to view logs

SizeandConnectedness updated file post Hlevel -> Truncation

SizeandConnectedness updated file post Hlevel -> Truncation #3434

Triggered via pull request November 7, 2024 01:32
@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