Skip to content
Build Javascript

Use --enable-theories fpa to active the FPA builtin theory #1200

Sign in to view logs

Use --enable-theories fpa to active the FPA builtin theory

Use --enable-theories fpa to active the FPA builtin theory #1200

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile AE with JsoO and test it with NodeJs
11m 54s
11m 54s