diff options
author | Gabriel Dos Reis <GabrielDosReis@users.noreply.github.com> | 2022-09-17 18:13:52 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-09-17 18:13:52 -0700 |
commit | be9640c48094f0a62d0ec09296d8ef33f0a92883 (patch) | |
tree | d6cf781bbe26eba3a9b504cdaf2c0aa0d9ac8531 /src/interp/topics.boot | |
parent | dbe239cd6eee022d1b8dccb9d8a1368acf52a8d7 (diff) | |
download | open-axiom-be9640c48094f0a62d0ec09296d8ef33f0a92883.tar.gz |
Gdr/enable basic ci (#28)
* Enable basic CI build
* Fix indentation thinko
* Update main.yml
* Update main.yml
* Update main.yml
* Really install the advertised compilers
* install libxpm-dev
* Do not rerun configure
* Disable maintainer mode
* Update main.yml
Diffstat (limited to 'src/interp/topics.boot')
0 files changed, 0 insertions, 0 deletions