CodeQL

Create Formal_Verification_of_Core_Polkadot_Runtime_Functionality.md #5136

Sign in to view logs

Triggered via pull request December 4, 2025 09:52

opened #2721

SurfingBowser:master

Status Success

Total duration 1m 2s

Artifacts –

codeql.yml

on: pull_request

Matrix: Analyze

Annotations

1 warning

Analyze (javascript)

CodeQL Action v3 will be deprecated in December 2026. Please update all occurrences of the CodeQL Action in your workflow files to v4. For more information, see https://github.blog/changelog/2025-10-28-upcoming-deprecation-of-codeql-action-v3/