Oliver Stöneberg e7f97a9621

updated Z3 to 4.8.15 (#3928)

2022-03-23 12:47:01 +01:00

..

asan.yml

use the latest clang and -O2 for sanitizer jobs (#3775)

2022-01-29 20:44:26 +01:00

bughunting.yml

moved bug hunting in CI from defunct Travis job to (disabled) GitHub action (#3164)

2021-10-13 14:47:59 +02:00

buildman.yml

Update workflows to Ubuntu 20.04 (#2948)

2020-12-15 10:59:09 +01:00

CI-cygwin.yml

added MinGW to CI and fixed local MinGW build (#3826)

2022-02-16 07:06:04 +01:00

CI-mingw.yml

added MinGW to CI and fixed local MinGW build (#3826)

2022-02-16 07:06:04 +01:00

CI-unixish-docker.yml

Test GUI build CMake in CI (#3621)

2021-12-15 19:36:34 +01:00

CI-unixish.yml

small selfcheck improvements (#3888)

2022-03-11 21:42:46 +01:00

CI-windows.yml

updated Z3 to 4.8.15 (#3928)

2022-03-23 12:47:01 +01:00

clang-tidy.yml

cache remaining Qt installations in CI (#3782)

2022-02-01 17:26:52 +01:00

codeql-analysis.yml

Update workflows to Ubuntu 20.04 (#2948)

2020-12-15 10:59:09 +01:00

coverage.yml

Perform coverage for pull requests

2021-02-25 20:14:50 +01:00

format.yml

Test GUI build CMake in CI (#3621)

2021-12-15 19:36:34 +01:00

iwyu.yml

added an include-what-you-use GitHub Action (#3759)

2022-02-01 17:19:19 +01:00

release-windows.yml

updated Z3 to 4.8.15 (#3928)

2022-03-23 12:47:01 +01:00

scriptcheck.yml

refactored reduce.py into a class and added unit test for it (#3791)

2022-03-19 19:42:44 +01:00

selfcheck.yml

Typos found by running "codespell" (#3907)

2022-03-16 15:28:44 +01:00

ubsan.yml

use the latest clang and -O2 for sanitizer jobs (#3775)

2022-01-29 20:44:26 +01:00

valgrind.yml

valgrind.yml: added workaround for expired dbgsym release key (#3178)

2021-03-21 22:25:57 +01:00