Skip to content

Actions: vbpf/ebpf-verifier

Actions

CPP CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
665 workflow runs
665 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Print simplified cfg CPP CI #1471: Pull request #799 opened by elazarg
November 22, 2024 14:06 10m 59s simplify-print
simplify-print
November 22, 2024 14:06 10m 59s
Simplify invariant output CPP CI #1470: Pull request #798 synchronize by elazarg
November 20, 2024 21:19 39m 26s simpl-repr
simpl-repr
November 20, 2024 21:19 39m 26s
Simplify invariant output CPP CI #1469: Pull request #798 opened by elazarg
November 20, 2024 18:48 39m 50s simpl-repr
simpl-repr
November 20, 2024 18:48 39m 50s
No transform when checking + check code reorg (second attempt) CPP CI #1468: Pull request #796 synchronize by elazarg
November 17, 2024 15:20 37m 59s 2transform-2once
2transform-2once
November 17, 2024 15:20 37m 59s
No transform when checking + check code reorg (second attempt) CPP CI #1467: Pull request #796 synchronize by elazarg
November 17, 2024 15:06 14m 9s 2transform-2once
2transform-2once
November 17, 2024 15:06 14m 9s
No transform when checking + check code reorg (second attempt) CPP CI #1466: Pull request #796 synchronize by elazarg
November 17, 2024 14:38 20m 10s 2transform-2once
2transform-2once
November 17, 2024 14:38 20m 10s
No transform when checking + check code reorg (second attempt) CPP CI #1465: Pull request #796 opened by elazarg
November 17, 2024 14:04 19m 35s 2transform-2once
2transform-2once
November 17, 2024 14:04 19m 35s
Bump external/bpf_conformance from b544539 to 3357834 CPP CI #1464: Pull request #795 opened by dependabot bot
November 16, 2024 16:43 35m 41s dependabot/submodules/external/bpf_conformance-3357834
dependabot/submodules/external/bpf_conformance-3357834
November 16, 2024 16:43 35m 41s
Bump external/libbtf from 2de28d7 to 2f68368 CPP CI #1463: Pull request #794 opened by dependabot bot
November 16, 2024 16:43 35m 51s dependabot/submodules/external/libbtf-2f68368
dependabot/submodules/external/libbtf-2f68368
November 16, 2024 16:43 35m 51s
Do not transform when checking + check code reorg CPP CI #1462: Pull request #793 synchronize by elazarg
November 15, 2024 14:44 40m 2s transform-once
transform-once
November 15, 2024 14:44 40m 2s
Do not transform when checking + check code reorg CPP CI #1461: Pull request #793 opened by elazarg
November 15, 2024 14:33 10m 54s transform-once
transform-once
November 15, 2024 14:33 10m 54s
Fail hard when a non-Assume instruction turns an invariant into bottom CPP CI #1460: Pull request #791 opened by elazarg
November 12, 2024 21:52 35m 49s err-on-nonassume-bottom
err-on-nonassume-bottom
November 12, 2024 21:52 35m 49s
Add tests for issue 785 CPP CI #1459: Pull request #786 synchronize by Alan-Jowett
November 12, 2024 00:13 11m 13s Alan-Jowett:issue785_repro
Alan-Jowett:issue785_repro
November 12, 2024 00:13 11m 13s
Put stats collection under static variable CPP CI #1458: Pull request #790 synchronize by Alan-Jowett
November 11, 2024 17:34 44m 58s Alan-Jowett:disable_dead_code
Alan-Jowett:disable_dead_code
November 11, 2024 17:34 44m 58s
Put stats collection under static variable CPP CI #1457: Pull request #790 synchronize by Alan-Jowett
November 11, 2024 16:32 48m 39s Alan-Jowett:disable_dead_code
Alan-Jowett:disable_dead_code
November 11, 2024 16:32 48m 39s
Put stats collection under static variable CPP CI #1456: Pull request #790 opened by Alan-Jowett
November 11, 2024 16:16 16m 26s Alan-Jowett:disable_dead_code
Alan-Jowett:disable_dead_code
November 11, 2024 16:16 16m 26s
Use GuardedInstruction for cfg_t node, instead of basic_block CPP CI #1455: Pull request #789 synchronize by elazarg
November 10, 2024 20:29 44m 7s node-instruction
node-instruction
November 10, 2024 20:29 44m 7s
Use GuardedInstruction for cfg_t node, instead of basic_block CPP CI #1454: Pull request #789 synchronize by elazarg
November 10, 2024 19:24 44m 31s node-instruction
node-instruction
November 10, 2024 19:24 44m 31s
Use GuardedInstruction for cfg_t node, instead of basic_block CPP CI #1453: Pull request #789 opened by elazarg
November 10, 2024 19:19 4m 55s node-instruction
node-instruction
November 10, 2024 19:19 4m 55s
Move checker and transformer to different cpp files CPP CI #1452: Pull request #788 opened by elazarg
November 10, 2024 03:07 43m 24s refactor-transformer-checker
refactor-transformer-checker
November 10, 2024 03:07 43m 24s
Split ebpf_domain_t into domain, transformer, checker CPP CI #1451: Pull request #787 synchronize by elazarg
November 9, 2024 23:09 35m 42s split-transformers
split-transformers
November 9, 2024 23:09 35m 42s
Implement ebpf_check_constraints_at_label CPP CI #1450: Pull request #729 synchronize by Alan-Jowett
November 9, 2024 22:23 37m 10s Alan-Jowett:issue728
Alan-Jowett:issue728
November 9, 2024 22:23 37m 10s
Split ebpf_domain_t into domain, transformer, checker CPP CI #1449: Pull request #787 opened by elazarg
November 9, 2024 22:18 35m 43s split-transformers
split-transformers
November 9, 2024 22:18 35m 43s
Implement ebpf_check_constraints_at_label CPP CI #1448: Pull request #729 synchronize by Alan-Jowett
November 9, 2024 22:18 4m 52s Alan-Jowett:issue728
Alan-Jowett:issue728
November 9, 2024 22:18 4m 52s
Implement ebpf_check_constraints_at_label CPP CI #1447: Pull request #729 synchronize by Alan-Jowett
November 9, 2024 22:18 45s Alan-Jowett:issue728
Alan-Jowett:issue728
November 9, 2024 22:18 45s