Skip to content
Build documentation

fix alpha-conversion problems in ehoare #38

Sign in to view logs

fix alpha-conversion problems in ehoare

fix alpha-conversion problems in ehoare #38

Triggered via pull request January 23, 2026 18:00
@bgregoirbgregoir
synchronize #872
fix-ehoare
Status Success
Total duration 7m 45s
Artifacts 1

docs.yml

on: pull_request
build
7m 38s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
refman Expired
7.82 MB
sha256:7c3c3841772032b113c98226d287e31f3b28a96f32fc84f7503d3e5760228fc6