.. |
alpine-s390x
|
chore: Cancel old PR builds on docker and sonar-scan workflows.
|
2023-11-22 23:38:50 +00:00 |
autotools
|
chore: Speed up docker builds a bit by reducing layer count.
|
2024-01-26 14:13:34 +00:00 |
cimplefmt
|
test: Add an s390x build (on alpine) for CI.
|
2023-11-22 18:29:26 +00:00 |
circleci
|
test: Add more unit tests for add_to_list .
|
2024-01-10 02:58:13 +00:00 |
clang-tidy
|
chore: Speed up docker builds a bit by reducing layer count.
|
2024-01-26 14:13:34 +00:00 |
compcert
|
chore: Speed up docker builds a bit by reducing layer count.
|
2024-01-26 14:13:34 +00:00 |
coverage
|
chore: Speed up docker builds a bit by reducing layer count.
|
2024-01-26 14:13:34 +00:00 |
cppcheck
|
chore: Speed up docker builds a bit by reducing layer count.
|
2024-01-26 14:13:34 +00:00 |
doxygen
|
chore: Speed up docker builds a bit by reducing layer count.
|
2024-01-26 14:13:34 +00:00 |
esp32
|
test: Make esp32 build actually try to instantiate tox.
|
2023-12-19 19:41:45 +00:00 |
freebsd
|
chore: Cancel old PR builds on docker and sonar-scan workflows.
|
2023-11-22 23:38:50 +00:00 |
goblint
|
chore: Speed up docker builds a bit by reducing layer count.
|
2024-01-26 14:13:34 +00:00 |
infer
|
chore: Speed up docker builds a bit by reducing layer count.
|
2024-01-26 14:13:34 +00:00 |
misra
|
chore: Speed up docker builds a bit by reducing layer count.
|
2024-01-26 14:13:34 +00:00 |
modules
|
cleanup: Further #include cleanups.
|
2024-01-31 21:04:53 +00:00 |
perf
|
test: Add an s390x build (on alpine) for CI.
|
2023-11-22 18:29:26 +00:00 |
rpm
|
chore: Fix rpm build; add a CI check for it.
|
2024-01-26 23:38:48 +00:00 |
sources
|
chore: Speed up docker builds a bit by reducing layer count.
|
2024-01-26 14:13:34 +00:00 |
tcc
|
chore: Speed up docker builds a bit by reducing layer count.
|
2024-01-26 14:13:34 +00:00 |
tokstyle
|
chore: Speed up docker builds a bit by reducing layer count.
|
2024-01-26 14:13:34 +00:00 |
windows
|
refactor: Use operator== for equality tests of Node_format .
|
2024-01-11 13:32:01 +00:00 |