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/doc/ps/P28b.eps | |
| 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/doc/ps/P28b.eps')
0 files changed, 0 insertions, 0 deletions