Age | Commit message (Collapse) | Author |
|
|
|
|
|
- `depsFregeTask`: only internal use for the vscode plugin to automate the
repl code lens.
- `replFregeTask`: simplified to only print the command to start the repl because
starting and interacting through a console is not gradle's core strength. See
https://github.com/tricktron/frege-gradle-plugin/issues/11.
|
|
Increases the max number of test processes, which may reduce the
test execution time.
|
|
|
|
|
|
|
|
|
|
|
|
- Uses the builder pattern to simplify the creation of `build.gradle` test
files.
- Adds `gradlew clean test` github workflow
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
portal.
Upgrade to frege version 3.23,
|
|
|
|
|
|
|
|
|
|
because of signing issues.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
on sonatype or maven central
|
|
|
|
|
|
|