Skip to content

Actions: elazarg/prevail-rust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
39 workflow runs
39 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Fix dead_code suppressions broken by 1fb3ff1, drop redundant comments Build and Test #39: Commit a4927f3 pushed by elazarg
9m 31s main
main
9m 31s
Port upstream 812e1e2f (CallKind::Builtin): tag compiler intrinsics Build and Test #38: Commit 680ee1b pushed by elazarg
9m 20s main
main
9m 20s
array_domain: bundle stack-op args into StackAccess Build and Test #37: Commit 0cd7fab pushed by elazarg
9m 50s main
main
9m 50s
bump upstream to 543f83de: align RelevantState filter with the upstre… Build and Test #36: Commit 8a2cc88 pushed by elazarg
9m 41s main
main
9m 41s
make Number public since it's exposed by interval API, make some operations const where possible Build and Test #35: Pull request #4 opened by vcfxb
Action required vcfxb:main
vcfxb:main
Action required
bump upstream to c0a03607 (v0.2.2): max-packet-size, widen bottom fix Build and Test #33: Commit c196fe2 pushed by elazarg
9m 8s main
main
9m 8s
classify transformer panics: propagate CRAB_ERROR paths as Verificati… Build and Test #32: Commit 48b35ba pushed by elazarg
9m 24s main
main
9m 24s
fix do_load_map_address/do_load_mapfd divergence from upstream on mis… Build and Test #31: Commit 42b958a pushed by elazarg
23m 29s main
main
23m 29s
fix EbpfDomain::meet bottom-branch precision divergence from upstream Build and Test #30: Commit 4b4038d pushed by elazarg
28m 17s main
main
28m 17s
fix EbpfDomain::meet bottom-branch precision divergence from upstream Build and Test #29: Commit 9be0012 pushed by elazarg
28m 43s main
main
28m 43s
fix EbpfDomain::meet bottom-branch precision divergence from upstream Build and Test #28: Commit 99dddc0 pushed by elazarg
9m 51s main
main
9m 51s
Update constants in spec/ebpf_base.rs to be statics Build and Test #27: Pull request #2 synchronize by vcfxb
9m 41s vcfxb:main
vcfxb:main
9m 41s
Update constants in spec/ebpf_base.rs to be statics Build and Test #26: Pull request #2 opened by vcfxb
10m 39s vcfxb:main
vcfxb:main
10m 39s
bump upstream to b9010eee: .ksyms kfunc relocation support Build and Test #25: Commit bc5be2e pushed by elazarg
10m 1s main
main
10m 1s
fix CI: remove obsolete generate-baseline step from parity job Build and Test #24: Commit 42250da pushed by elazarg
28m 33s main
main
28m 33s
fix CO-RE: parse relocations from BTF.ext core_relo subsection Build and Test #23: Commit c932aa5 pushed by elazarg
10m 49s main
main
10m 49s
fix 6 upstream parity failures and parallelize baseline generation Build and Test #22: Commit 8cbb4f1 pushed by elazarg
1h 49m 58s main
main
1h 49m 58s
bump upstream to e68a347b: handle Call builtins and Falco coverage Build and Test #21: Commit 984b854 pushed by elazarg
9m 13s main
main
9m 13s
bump upstream to 038a7ac8: model additional helper ABI classes and ca… Build and Test #20: Commit 8fd4075 pushed by elazarg
5m 24s main
main
5m 24s
Bump upstream submodule to 8004143 Build and Test #19: Commit 69a4b24 pushed by elazarg
3m 27s main
main
3m 27s
Port failure slicing from C++ upstream Build and Test #18: Commit 2a1d536 pushed by elazarg
4m 16s main
main
4m 16s
v0.1.3 Build and Test #17: Commit 8abf453 pushed by elazarg
4m 11s main
main
4m 11s
Add OffsetMap benchmark and trace infrastructure Build and Test #16: Commit 0bf229e pushed by elazarg
4m 40s main
main
4m 40s
generic bench Build and Test #15: Commit ece2eb6 pushed by elazarg
3m 58s main
main
3m 58s
refactor: use Cell<Weight> for dists in WeightHeap Build and Test #14: Commit 5786539 pushed by elazarg
10m 47s main
main
10m 47s