Commit Graph

5 Commits

Author SHA1 Message Date
a1346054
fdaa9270a0
Tiny cleanup (#397)
* use license file from gnu.org

They changed http link to https.

File downloaded from:
https://www.gnu.org/licenses/lgpl-3.0.txt

* invoke bash using /usr/bin/env

* fix shellcheck warnings

* fix spelling

* trim excess whitespace
2021-09-01 18:44:21 -07:00
Sebastian Messmer
b4328a0d74 Fix setting of ASAN_OPTIONS, UBSAN_OPTIONS, OMP_NUM_THREADS environment variables so they're only set if the job needs them 2021-04-19 10:56:17 -07:00
Sebastian Messmer
18b7cc63ec Add Sanitizers to Github Actions 2021-04-19 04:35:43 -07:00
Sebastian Messmer
db1cc7af8a Add Linux CI to GitHub Actions 2021-04-17 09:31:10 -07:00
Sebastian Messmer
7e4c4b2122 Switch osx CI from Travis CI to Github Actions 2021-04-09 00:54:28 -07:00