Skip to content
Build Javascript

Use ZArith-based representations for numbers and bitvectors #1396

Sign in to view logs

Use ZArith-based representations for numbers and bitvectors

Use ZArith-based representations for numbers and bitvectors #1396

Triggered via pull request October 2, 2023 09:32
@bclement-ocpbclement-ocp
synchronize #850
bclement-ocp:Z
Status Failure
Total duration 8m 9s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build_js.yml

on: pull_request
Compile AE with JsoO and test it with NodeJs
7m 55s
Compile AE with JsoO and test it with NodeJs
Fit to window
Zoom out
Zoom in

Annotations

1 error
Compile AE with JsoO and test it with NodeJs
Process completed with exit code 2.