functional tests: run from make tests but not smtlib/rkt tests #768
aijuextra-builds.yml
on: push
pre_job
4s
WASI build
19m 38s
Matrix: Build nix flake
Visual Studio build
10m 29s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
vcxsrc
|
3.43 MB |
|