New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Implement new format API for JSON output #385

Merged

Neverlord merged 10 commits into master from topic/neverlord/json-format

Jan 30, 2024

Merged

Implement new format API for JSON output #385

Integrate review feedback

Cirrus CI / ubuntu20 succeeded Jan 28, 2024 in 3m 45s

Task Summary

Task successfully finished!

Details

✅ 00:01 clone
✅ 00:04 sync_submodules
✅ 02:51 build
✅ 00:44 test
✔️ 00:00 upload_btest_tmp_dir

View more details on Cirrus CI