OSSF Scorecard

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

Sign in to view logs

Triggered via push March 29, 2026 20:04

main

Status Success

Total duration 34s

Artifacts –

scorecard.yml

on: push