Skip to content
Label PR from status change

feat: Define dependent version of Fin.foldl #75

Sign in to view logs

feat: Define dependent version of Fin.foldl

feat: Define dependent version of Fin.foldl #75

Triggered via pull request December 4, 2024 20:29
@fgdoraisfgdorais
closed #1071
quangvdao:Fin.fold-dep
Status Success
Total duration 13s
Artifacts –

labels-from-status.yml

on: pull_request
auto-label
5s
auto-label
Fit to window
Zoom out
Zoom in

Annotations

1 error and 4 warnings
auto-label
Error: failed to remove labels: WIP,awaiting-author,awaiting-review
auto-label
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
auto-label
failed to remove label: WIP: HttpError: Resource not accessible by integration
auto-label
failed to remove label: awaiting-author: HttpError: Resource not accessible by integration
auto-label
failed to remove label: awaiting-review: HttpError: Resource not accessible by integration