CodeQL Devin Fixer
Telemetry
Refresh Data
Poll Sessions
Trigger Action
Demo Data
Compact
⚙
Loading...
📊
Overview
📦
Repositories
🔍
Issues
📋
PRs
🚀
Activity
⚙
Orchestrator
⚒
Settings
Period:
All Time
7 Days
30 Days
90 Days
Security Health Trend
Severity Breakdown
Category Breakdown
Orchestrator Quick View
click to open full view →
Repositories Scanned
SLA Compliance
Issue Tracking
PRs Pending Merge
PR Stats by Repository
All Pull Requests
Fix Verification
Workflow Runs
Devin Sessions
Orchestrator
🔄 Run Cycle
🤖 Triage with Devin
Issue Prioritization
Sort by:
Deterministic
Agent (LLM)
Fix Rates
Demo Data
Checking...
Load Demo Data
Clear Demo Data
Edit JSON
Export & Reports
Export Issues CSV
Scheduled Repo Registry
Audit Log
Export JSON
All actions
poll_sessions
poll_prs
refresh_runs
backfill
dispatch_workflow
orchestrator_dispatch
orchestrator_scan
orchestrator_cycle
update_orchestrator_config
update_registry
add_registry_repo
update_registry_repo
remove_registry_repo
export_audit_log
Issue Details
×
Trigger CodeQL Fixer Action
×
Target Repository URL *
GitHub repository URL to analyze
Languages
Comma-separated CodeQL languages (leave empty for auto-detect)
Query Suite
security-extended
security-and-quality
Severity Threshold
critical
high
medium
low
Batch Size
Max issues per Devin session
Max Sessions
Max Devin sessions to create
Default Branch
Default branch of the target repo
Include Paths
Optional comma-separated globs to include
Exclude Paths
Optional comma-separated globs to exclude
Persist Logs
Keep logs in GitHub
Dry Run
Generate prompts only (no Devin sessions)
Settings
×
GitHub Token
PAT with
repo
scope. Needed for PR discovery, refresh, and workflow dispatch. Stored in your browser only.
Devin API Key
Devin API bearer token for polling session statuses. Stored in your browser only.
Action Repository
The repo containing the telemetry data, e.g.
marius-posa/codeql-devin-fixer
Add Repository to Scheduler
×
Repository URL *
Full GitHub repository URL to add to the scheduler
Schedule
daily
weekly
monthly
How often to scan this repository
Edit Repository:
×
Importance
low
medium
high
critical
Importance Score (0-100)
Max Sessions per Cycle
Tags (comma-separated)
Auto Scan
Auto Dispatch
Overrides (JSON)
{}
Override default settings for this repo (e.g. languages, severity_threshold)
Edit Demo Data
×
Edit the raw JSON demo data below. Changes are stored in your browser's localStorage.