Skip to content
Github CI

[misc] Fixes for Coq -> Rocq merge from main #3131

Sign in to view logs

[misc] Fixes for Coq -> Rocq merge from main

[misc] Fixes for Coq -> Rocq merge from main #3131

Triggered via push February 7, 2025 18:51
@ejgallegoejgallego
pushed 129fdaf
v8.20
Status Success
Total duration 12m 51s
Artifacts 1

build.yml

on: push
Web Worker Build
9m 8s
Web Worker Build
Opam install
6m 19s
Opam install
client-compile
13s
client-compile
Nix Flake Check
52s
Nix Flake Check
Matrix: build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
coq-lsp_worker and front-end
38.1 MB