diff options
author | Gabriel Dos Reis <GabrielDosReis@users.noreply.github.com> | 2022-09-13 10:25:52 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-09-13 10:25:52 -0700 |
commit | e18a2c1579348b7367762e4db733a36fa76719ba (patch) | |
tree | 1f391832506d719c345f68368030e065f1c5864b /src/share/algebra | |
parent | b1a3efb99ffc7f5d08b873cf244713126c966c9a (diff) | |
download | open-axiom-e18a2c1579348b7367762e4db733a36fa76719ba.tar.gz |
Revert "Enable basic CI build (#26)" (#27)
This reverts commit b1a3efb99ffc7f5d08b873cf244713126c966c9a.
Diffstat (limited to 'src/share/algebra')
0 files changed, 0 insertions, 0 deletions