| Age | Commit message (Collapse) | Author |
|
Increases the max number of test processes, which may reduce the
test execution time.
|
|
|
|
|
|
|
|
|
|
If a Frege module A depends on Frege module B, then you need to
compile with the `-make` flag so that the compiler resolves the
dependencies and compiles the module B before the module A.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Setups missing java 11 in the github workflow
|
|
|