Skip to content
Users workflow

[typeabbrev] type dl (dl A) where dl is typeabbrev is no more "looping" #46

Sign in to view logs

[typeabbrev] type dl (dl A) where dl is typeabbrev is no more "looping"

[typeabbrev] type dl (dl A) where dl is typeabbrev is no more "looping" #46

Triggered via pull request September 29, 2024 22:14
@FissoreDFissoreD
opened #266
FissoreD:typeabbrev_unfold
Status Failure
Total duration 5m 44s
Artifacts –

users.yml

on: pull_request
test users
5m 34s
test users
Fit to window
Zoom out
Zoom in

Annotations

1 error
test users
Process completed with exit code 20.