Skip to content
Windows CI

Fixes #15221: a case of invalid eta-expansion in notation printing #6537

Sign in to view logs

Fixes #15221: a case of invalid eta-expansion in notation printing

Fixes #15221: a case of invalid eta-expansion in notation printing #6537

Triggered via pull request July 11, 2023 16:55
@herbelinherbelin
synchronize #17841
herbelin:master+fixes15221-invalid-eta-expansion-notation
Status Failure
Total duration 53m 1s
Artifacts –

ci-windows.yml

on: pull_request
Matrix: Windows
Fit to window
Zoom out
Zoom in

Annotations

1 error
Windows (64)
Process completed with exit code 1.