cargo / lungo-bir
lungo-bir 1.88.0
- processes
- 238
- operations
- 3.7K
- packages
- 12
- compiler runs
- 10
- connections
- 1
- job time
- 13s
- capture
- 61 KB
- records
- 6.8K
- bytes / record
- 9.0
Bridge IR: the versioned compiler boundary between Lean and the Rust backend. An internal part of lungo: depend on `lungo` and `lungo-build`.
Build behaviournot recorded for this run
Release 1.88.0 run ea12ac8b-2ede-4daa-9431-98bd1b5d1da9 · built 2026-10-07
Artifact
- liblungo_bir.rlibfile · retained · product
| Checks | Detections |
|---|---|
| Build behavior | |
| ✓ Network activity | — |
| ✓ Sensitive data access and transfer | — |
| ✓ Cross-process access | — |
| ✓ Build file changes | — |
| ✓ Build script activity | — |
| ✓ Data flow analysis | — |
| ✓ Filesystem writes | — |
| ✓ Context collection | — |
| Supply chain | |
| ✓ Known vulnerabilities | — |
| ✓ Build-time dependency advisories | — |
| ✓ Dependency advisories | — |
| ✓ Declared and observed dependencies | — |
| ✓ Dependency and toolchain versions | — |
| Pipeline | |
| ✓ Pipeline coverage | — |
Detections
0No detections
No abnormal activity detected across 3.7K flows.
Network
1 peers-
allowedstatic.crates.io:8080
Dependencies
12 packages, 0 with a build script that ran, 0 doing more than compiling| Package | Version | Usage | Build behaviour | |
|---|---|---|---|---|
| ld-linux-x86-64.so.2 | linked | |||
| libc.so.6 | linked | |||
| libgcc_s.so.1 | linked | |||
| libm.so.6 | linked | |||
| libmvec.so.1 | linked | |||
| proc-macro2 | 1.0.107 | observed | ||
| quote | 1.0.47 | observed | ||
| serde direct | 1.0.229 | observed | ||
| serde_core | 1.0.229 | observed | ||
| serde_derive | 1.0.229 | observed | ||
| syn | 3.0.6 | observed | ||
| unicode-ident | 1.0.26 | observed |
1 of 1 jobs captured: build-test success · Generated 2026-10-07 · tarp 0.1.0+20261007022833-g16cc1581f632 · run ea12ac8b-2ede-4daa-9431-98bd1b5d1da9