Skip to content
Github CI

[coq] [init] Allow init to tweak VM mode and warnings. #2895

Sign in to view logs

[coq] [init] Allow init to tweak VM mode and warnings.

[coq] [init] Allow init to tweak VM mode and warnings. #2895

Triggered via pull request September 28, 2024 16:28
@ejgallegoejgallego
opened #838
vm_init
Status Success
Total duration 18m 46s
Artifacts –

build.yml

on: pull_request
Opam dev install
8m 44s
Opam dev install
client-compile
18s
client-compile
Nix Flake Check
56s
Nix Flake Check
Matrix: Nix
Matrix: build
Fit to window
Zoom out
Zoom in