Skip to content
Test compilation

more refactorings; build fix; changelog update #178

Sign in to view logs

more refactorings; build fix; changelog update

more refactorings; build fix; changelog update #178

Triggered via push February 1, 2025 18:17
@raoxiaojiaraoxiaojia
pushed 75b3a55
8.20_cleanup
Status Success
Total duration 11m 0s
Artifacts –

main.yml

on: push
Matrix: build-matrix
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
build-matrix (coq-wasm.opam, 8.20): theories/common.v#L7
Overwriting previous delimiting key num in scope N_scope
build-matrix (coq-wasm.opam, 8.20): theories/numerics.v#L22
Overwriting previous delimiting key num in scope N_scope
build-matrix (coq-wasm.opam, 8.20): theories/numerics.v#L1157
Overwriting previous delimiting key num in scope N_scope
build-matrix (coq-wasm.opam, 8.20): theories/numerics.v#L1197
Overwriting previous delimiting key num in scope N_scope
build-matrix (coq-wasm.opam, 8.20): theories/numerics.v#L1226
Overwriting previous delimiting key num in scope N_scope
build-matrix (coq-wasm.opam, 8.20): theories/numerics.v#L1253
Overwriting previous delimiting key num in scope N_scope
build-matrix (coq-wasm.opam, 8.20): theories/datatypes.v#L11
Overwriting previous delimiting key num in scope N_scope
build-matrix (coq-wasm.opam, 8.20): theories/operations.v#L7
Overwriting previous delimiting key num in scope N_scope
build-matrix (coq-wasm.opam, 8.20): theories/typing.v#L5
Overwriting previous delimiting key num in scope N_scope
build-matrix (coq-wasm.opam, 8.20): theories/type_checker.v#L4
Overwriting previous delimiting key num in scope N_scope