Github CI

[build] [js] Fix Coq branch used in JS patch #3185

Sign in to view logs

Triggered via push February 27, 2025 14:24

ejgallego

v8.19

Status Failure

Total duration 13m 50s

Artifacts –

build.yml

on: push

Web Worker Build

Nix Flake Check

Matrix: build

Annotations

1 error

Web Worker Build

Process completed with exit code 2.