| [merge] The new test suite can now test compiler errors |
|
More...
|
over 1 year ago
|
| [tests] Move the update-outputs.sh script to the new test suite |
|
More...
|
over 1 year ago
|
| [tests] Update update-outputs.sh |
|
More...
|
over 1 year ago
|
| [tests] Add a compile-failure test type |
|
More...
|
over 1 year ago
|
| [tests] Fix comment to make it complete |
|
More...
|
over 1 year ago
|
| [tests] Allow .build and BUILD.plz files in the same directory |
|
More...
|
over 1 year ago
|
| [tests] Move a compile-failure test into the new test suite |
|
More...
|
over 1 year ago
|
| [compiler] Check that the module name in the .p and .build files matches |
|
More...
|
over 1 year ago
|
| [build] Add --build-dir to --help output |
|
More...
|
over 1 year ago
|
| [merge] Fix some problems with the 'clean' Makefile targets |
|
More...
|
over 1 year ago
|
| [scripts] 'clean' should remove .outs files from examples/ directory |
|
More...
|
over 1 year ago
|
| [scripts] Clean the new test directory |
|
More...
|
over 1 year ago
|
| [scripts] Don't clean the removed tests-old/valid directory |
|
More...
|
over 1 year ago
|
| [scripts] Update GPG signature |
|
More...
|
almost 2 years ago
|
| [merge] Merge in the WIP test suite branch |
|
More...
|
almost 2 years ago
|
| [compiler] Avoid the crash by checking for an empty list |
|
More...
|
almost 2 years ago
|
| [scripts] Install ninja from Debian in the Dockerfile |
|
More...
|
almost 2 years ago
|
| [scripts] Docker updates for Mercury 22.01 |
|
More...
|
almost 2 years ago
|
| [merge] Upgrade to Mercury 22.01 |
|
More...
|
almost 2 years ago
|
| [scripts] Update the CI version so we're using Mercury 22.01 |
|
More...
|
almost 2 years ago
|
| [docs] Use updated apt key instructions |
|
More...
|
almost 2 years ago
|
| [docs] Update Mercury version requirements |
|
More...
|
almost 2 years ago
|
| [scripts] Update docker to Mercury 22.01 and Debian bullseye |
|
More...
|
almost 2 years ago
|
| [scripts] Update the docker/README.md to say how it can be run |
|
More...
|
almost 2 years ago
|
| [merge] Dockerfile updates |
|
More...
|
almost 2 years ago
|
| [scripts] Update the repository versions in the dockerfile |
|
More...
|
almost 2 years ago
|
| [scripts] Update the correct gpg file, remove the old one |
|
More...
|
almost 2 years ago
|
| [build] Add a --build-dir option to the plzbuild tool |
|
More...
|
about 2 years ago
|
| [scripts] Add .SUFFIXES: to makefile |
|
More...
|
about 2 years ago
|
| [scripts] Refresh GPG key with new expiry date |
|
More...
|
about 2 years ago
|
