Skip to content
Github CI

[v8.18] Adapt Ltac2 example to API change. #2940

Sign in to view logs

[v8.18] Adapt Ltac2 example to API change.

[v8.18] Adapt Ltac2 example to API change. #2940

Triggered via push September 29, 2024 19:17
@ejgallegoejgallego
pushed 719c726
v8.18
Status Failure
Total duration 23m 6s
Artifacts –

build.yml

on: push
Web Worker Build
9m 40s
Web Worker Build
Opam Install
8m 51s
Opam Install
client-compile
16s
client-compile
Nix Flake Check
52s
Nix Flake Check
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 error
Web Worker Build
Process completed with exit code 2.