CI Main

feat(IC-1579): combined TLA model of the instrumented governance methods #26809

Sign in to view logs

Triggered via pull request February 13, 2025 10:59

oggy-dfin

synchronize #3499

oggy/tla-recombine-governance-model

Status Success

Total duration 8m 16s

Artifacts 4

ci-main.yml

on: pull_request

Bazel Test macOS Intel

Bazel Build Fuzzers

Bazel Build Fuzzers AFL

Python CI Tests

Cargo Clippy Linux

Cargo Build Release Linux

Matrix: Build Determinism

Artifacts

Produced during runtime

Name	Size
bazel-build-fuzzers-afl-bep	185 KB
bazel-build-fuzzers-bep	189 KB
bazel-test-all-bep	398 KB
build-ic Expired	2.19 KB