CodeQL Security Analysis

feat: migrate coq-jr server from TypeScript to ReScript #251

Sign in to view logs

Triggered via push March 29, 2026 20:04

main

Status Success

Total duration 2m 11s

Artifacts –

codeql.yml

on: push

Matrix: analyze