pipeline

chore: bump github/codeql-action from 3.22.11 to 3.22.12 #146

Sign in to view logs

Triggered via pull request December 25, 2023 16:22

dependabot[bot]

opened #142

dependabot/github_actions/github/codeql-action-3.22.12

Status Success

Total duration 7m 3s

Artifacts –

pipeline.yml

on: pull_request

static_analysis / witness

e2e-tests / witness