Skip to content

Actions: vbpf/ebpf-verifier

Actions

CPP Code Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
874 workflow runs
874 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Print simplified cfg CPP Code Coverage #1403: Pull request #799 opened by elazarg
November 22, 2024 14:06 23m 19s simplify-print
simplify-print
November 22, 2024 14:06 23m 19s
do not chain equalities CPP Code Coverage #1402: Commit e4750ee pushed by elazarg
November 21, 2024 22:30 23m 32s main
main
November 21, 2024 22:30 23m 32s
Simplify invariant output CPP Code Coverage #1401: Pull request #798 synchronize by elazarg
November 20, 2024 21:19 23m 35s simpl-repr
simpl-repr
November 20, 2024 21:19 23m 35s
Simplify invariant output CPP Code Coverage #1400: Pull request #798 opened by elazarg
November 20, 2024 18:48 23m 19s simpl-repr
simpl-repr
November 20, 2024 18:48 23m 19s
No transform when checking + check code reorg (second attempt) (#796) CPP Code Coverage #1399: Commit 04f0e92 pushed by elazarg
November 17, 2024 16:06 23m 37s main
main
November 17, 2024 16:06 23m 37s
No transform when checking + check code reorg (second attempt) CPP Code Coverage #1398: Pull request #796 synchronize by elazarg
November 17, 2024 15:20 24m 15s 2transform-2once
2transform-2once
November 17, 2024 15:20 24m 15s
No transform when checking + check code reorg (second attempt) CPP Code Coverage #1397: Pull request #796 synchronize by elazarg
November 17, 2024 15:06 23m 23s 2transform-2once
2transform-2once
November 17, 2024 15:06 23m 23s
No transform when checking + check code reorg (second attempt) CPP Code Coverage #1396: Pull request #796 synchronize by elazarg
November 17, 2024 14:38 23m 48s 2transform-2once
2transform-2once
November 17, 2024 14:38 23m 48s
No transform when checking + check code reorg (second attempt) CPP Code Coverage #1395: Pull request #796 opened by elazarg
November 17, 2024 14:04 23m 13s 2transform-2once
2transform-2once
November 17, 2024 14:04 23m 13s
Bump external/bpf_conformance from b544539 to 3357834 CPP Code Coverage #1394: Commit 8143eb2 pushed by elazarg
November 16, 2024 21:18 31m 36s main
main
November 16, 2024 21:18 31m 36s
Bump external/libbtf from 2de28d7 to 2f68368 CPP Code Coverage #1393: Commit 8465d12 pushed by elazarg
November 16, 2024 21:18 31m 34s main
main
November 16, 2024 21:18 31m 34s
Bump external/bpf_conformance from b544539 to 3357834 CPP Code Coverage #1392: Pull request #795 opened by dependabot bot
November 16, 2024 16:43 30m 29s dependabot/submodules/external/bpf_conformance-3357834
dependabot/submodules/external/bpf_conformance-3357834
November 16, 2024 16:43 30m 29s
Bump external/libbtf from 2de28d7 to 2f68368 CPP Code Coverage #1391: Pull request #794 opened by dependabot bot
November 16, 2024 16:43 31m 5s dependabot/submodules/external/libbtf-2f68368
dependabot/submodules/external/libbtf-2f68368
November 16, 2024 16:43 31m 5s
Do not transform when checking + check code reorg CPP Code Coverage #1390: Pull request #793 synchronize by elazarg
November 15, 2024 14:44 23m 56s transform-once
transform-once
November 15, 2024 14:44 23m 56s
Do not transform when checking + check code reorg CPP Code Coverage #1389: Pull request #793 opened by elazarg
November 15, 2024 14:33 23m 35s transform-once
transform-once
November 15, 2024 14:33 23m 35s
fail hard when a non-Assume instruction turns an invariant into bottom CPP Code Coverage #1388: Commit 37be029 pushed by elazarg
November 12, 2024 22:28 30m 44s main
main
November 12, 2024 22:28 30m 44s
Fail hard when a non-Assume instruction turns an invariant into bottom CPP Code Coverage #1387: Pull request #791 opened by elazarg
November 12, 2024 21:52 31m 31s err-on-nonassume-bottom
err-on-nonassume-bottom
November 12, 2024 21:52 31m 31s
Add tests for issue 785 CPP Code Coverage #1386: Pull request #786 synchronize by Alan-Jowett
November 12, 2024 00:13 5m 48s Alan-Jowett:issue785_repro
Alan-Jowett:issue785_repro
November 12, 2024 00:13 5m 48s
Put stats collection under static variable (#790) CPP Code Coverage #1385: Commit 455555b pushed by elazarg
November 11, 2024 23:19 38m 47s main
main
November 11, 2024 23:19 38m 47s
Put stats collection under static variable CPP Code Coverage #1384: Pull request #790 synchronize by Alan-Jowett
November 11, 2024 17:34 39m 5s Alan-Jowett:disable_dead_code
Alan-Jowett:disable_dead_code
November 11, 2024 17:34 39m 5s
Put stats collection under static variable CPP Code Coverage #1383: Pull request #790 synchronize by Alan-Jowett
November 11, 2024 16:32 38m 30s Alan-Jowett:disable_dead_code
Alan-Jowett:disable_dead_code
November 11, 2024 16:32 38m 30s
Put stats collection under static variable CPP Code Coverage #1382: Pull request #790 opened by Alan-Jowett
November 11, 2024 16:16 38m 39s Alan-Jowett:disable_dead_code
Alan-Jowett:disable_dead_code
November 11, 2024 16:16 38m 39s
Use GuardedInstruction for cfg_t node, instead of basic_block (#789) CPP Code Coverage #1381: Commit c34b769 pushed by elazarg
November 10, 2024 21:15 39m 10s main
main
November 10, 2024 21:15 39m 10s
Use GuardedInstruction for cfg_t node, instead of basic_block CPP Code Coverage #1380: Pull request #789 synchronize by elazarg
November 10, 2024 20:29 38m 54s node-instruction
node-instruction
November 10, 2024 20:29 38m 54s
Use GuardedInstruction for cfg_t node, instead of basic_block CPP Code Coverage #1379: Pull request #789 synchronize by elazarg
November 10, 2024 19:24 38m 40s node-instruction
node-instruction
November 10, 2024 19:24 38m 40s