Skip to content

Merge pull request #1285 from msimberg/remove-unused-boost-user-config #3

Merge pull request #1285 from msimberg/remove-unused-boost-user-config

Merge pull request #1285 from msimberg/remove-unused-boost-user-config #3

Triggered via push October 28, 2024 12:12
Status Success
Total duration 33m 52s
Artifacts

linux_tsan.yml

on: push
github/linux/sanitizers/thread
33m 39s
github/linux/sanitizers/thread
Fit to window
Zoom out
Zoom in

Annotations

1 error
github/linux/sanitizers/thread
Process completed with exit code 8.