Marcus Edel 7838ef5b24 Use auto-downloader to install armadillo.

2021-10-17 22:01:11 -04:00

..

main.yml

Use auto-downloader to install armadillo.

2021-10-17 22:01:11 -04:00

update-boost-version.yaml

Bump minimum Armadillo version to 9.800 (#3043)

2021-08-31 15:41:25 +02:00

update-catch.yaml

Oops indentation error.

2020-11-17 16:19:59 +05:30

update-cli11.yaml

Oops indentation error.

2020-11-17 16:19:59 +05:30