Skip to content
CodeQL

Add Quint tooling, modeling skills, and mutation cursor spec #513

Sign in to view logs

Add Quint tooling, modeling skills, and mutation cursor spec

Add Quint tooling, modeling skills, and mutation cursor spec #513

Triggered via pull request August 25, 2026 10:20
@davidabramdavidabram
synchronize #233
quint
Status Success
Total duration 1m 7s
Artifacts –

codeql.yml

on: pull_request
Matrix: Analyze
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Analyze (typescript)
1 issue was detected with this workflow: CodeQL language 'javascript' is referenced by more than one entry in the 'language' matrix parameter for job 'analyze'. This may result in duplicate alerts. Please edit the 'language' matrix parameter to keep only one of the following: 'javascript', 'typescript'.
Analyze (javascript)
1 issue was detected with this workflow: CodeQL language 'javascript' is referenced by more than one entry in the 'language' matrix parameter for job 'analyze'. This may result in duplicate alerts. Please edit the 'language' matrix parameter to keep only one of the following: 'javascript', 'typescript'.