CodeQL Security Analysis

chore(gitignore): ignore dune-generated *.install manifests #567

Sign in to view logs

Triggered via pull request May 20, 2026 08:30

opened #306

gitignore-install-artefact

Status Success

Total duration 50s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze