Skip to content
Build Javascript

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

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 #1208

Run time

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