Skip to content
CI

Rewrite maps, tuples, lists as BDDs. Performance improvements. #12949

Sign in to view logs

Rewrite maps, tuples, lists as BDDs. Performance improvements.

Rewrite maps, tuples, lists as BDDs. Performance improvements. #12949

Triggered via pull request September 1, 2025 17:18
@gldubcgldubc
synchronize #14693
gldubc:lists-as-bdd
Status Success
Total duration 8m 24s
Artifacts 2

ci.yml

on: pull_request
Check POSIX-compliant
13s
Check POSIX-compliant
Check Licence Compliance
8m 19s
Check Licence Compliance
Matrix: test_linux
Matrix: test_windows
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
TestCoverage
10.2 MB
sha256:73e9fc943eb568b2bcb7bbd3d2a9b6fb3f0df8e1efa89d1366ee09ac5c2183cb
ort-results-elixir-05984368bb509863eabc2a12f1580b6b4bd8ce34
632 KB
sha256:c93e77ed33e294feae2ea03f46da82fbb00b2ce46f2f06d9d2d02a3b1f266d7e