Skip to content
Pull Request Labeler

Closing RFP: Formal Guarantees for Grandpa #567

Sign in to view logs

Closing RFP: Formal Guarantees for Grandpa

Closing RFP: Formal Guarantees for Grandpa #567

Triggered via pull request October 15, 2024 08:16
@semuellesemuelle
synchronize #2425
Status Success
Total duration 16s
Artifacts –

labeler.yml

on: pull_request_target
labeler
2s
labeler
Fit to window
Zoom out
Zoom in

Annotations

1 warning
labeler
Unexpected input(s) 'github_token', valid inputs are ['repo-token', 'configuration-path', 'sync-labels', 'dot', 'pr-number']