Skip to content

Actions: elazarg/prevail-rust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
47 workflow runs
47 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
bump upstream to dc1af353 (v0.2.6): release v0.2.6 Build and Test #48: Commit fe87951 pushed by elazarg
16m 15s main
main
16m 15s
Fix technical debt found in a systematic codebase review Build and Test #47: Commit 43c818d pushed by elazarg
16m 31s main
main
16m 31s
bump upstream to 06769f7b (v0.2.5): release v0.2.5 Build and Test #46: Commit 670f38b pushed by elazarg
23m 20s main
main
23m 20s
Update upstream submodule to f31370ae Build and Test #45: Commit ec7c447 pushed by elazarg
10m 43s main
main
10m 43s
bump upstream to 67b6d03e (v0.2.4): release v0.2.4 Build and Test #44: Commit 46c95ab pushed by elazarg
9m 24s main
main
9m 24s
bump upstream to d3fab8c2: ctx pointer-field writes, ALU32 pointer fo… Build and Test #43: Commit 74d820e pushed by elazarg
11m 46s main
main
11m 46s
CI: bump GitHub-maintained actions off Node 20 Build and Test #42: Commit 389ea83 pushed by elazarg
2h 56m 26s main
main
2h 56m 26s
bump upstream to 293d1423 (v0.2.3): release v0.2.3 Build and Test #41: Commit 8794c2d pushed by elazarg
2h 53m 4s main
main
2h 53m 4s
Move stack cell registry into ArrayDomain Build and Test #40: Commit 7196676 pushed by elazarg
56m 13s main
main
56m 13s
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
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 main
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 main
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