Check for stale hints

Extraction: add OCaml extension passes as for Krml #17

Sign in to view logs

Triggered via pull request November 9, 2024 01:19

mtzguido

opened #3614

mtzguido:extr

Status Success

Total duration 18s

Artifacts –

stale_hints.yml

on: pull_request

check_stale_hints