| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
|
|
| |
* enable synth by default
* ci: disable synth for the GPL builds
* deprecate Ubuntu 16, use Ubuntu 18 in Travis
|
| |
|
| |
|
| |
|
|
|
|
|
|
|
|
| |
* ci: move 'install-ada' to YAML files
* ci: update Xcode to 10
* ci: update GNAT to 2019
|
|
* use CC=clang to build C sources on macOS
* actions: ensure that shared libs are in the PATH on windows
* ci: add GitHub Actions 'push' workflow
* ci: fix group labels
* dist: add GRAY to ansi_color
* ci: use same scripts for GHA and Travis
|