Skip to content
Update GitHub Pages

Remove disjoint unions #12

Sign in to view logs

Remove disjoint unions

Remove disjoint unions #12

Triggered via push March 23, 2024 19:45
@emanueleghediniemanueleghedini
pushed 614215d
1.0.0-rc1-nodisjointunion
Status Failure
Total duration 1m 48s
Artifacts –

cd_update_pages.yml

on: push
build
1m 40s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 1.