Skip to content
OCaml CI

client, server: allow verification of individual functions via code lenses #24

Sign in to view logs

client, server: allow verification of individual functions via code lenses

client, server: allow verification of individual functions via code lenses #24

Triggered via pull request February 14, 2025 02:03
@samcowgersamcowger
synchronize #152
sc/verify-one
Status Success
Total duration 4m 6s
Artifacts –

ocaml-ci.yml

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