Skip to content

Preparing Polkadot pallet_balances for formal verification_milestone 1 Delivery #1603

Preparing Polkadot pallet_balances for formal verification_milestone 1 Delivery

Preparing Polkadot pallet_balances for formal verification_milestone 1 Delivery #1603

Triggered via pull request October 17, 2025 03:08
Status Failure
Total duration 34s
Artifacts

check_author.yml

on: pull_request_target
get-delivery-files
4s
get-delivery-files
Matrix: check_author
Fit to window
Zoom out
Zoom in

Annotations

1 error
check_author (deliveries/Preparing Polkadot pallet_balances for Formal Verification_Milestone_1.md)
PR author does not match any application author.