Skip to content

Actions: vbpf/ebpf-verifier

Actions

Validate-YAML

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
validate-yaml.yml
588 workflow runs
588 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Print simplified cfg Validate-YAML #546: Pull request #799 opened by elazarg
November 22, 2024 14:06 19s simplify-print
simplify-print
November 22, 2024 14:06 19s
do not chain equalities Validate-YAML #545: Commit e4750ee pushed by elazarg
November 21, 2024 22:30 15s main
main
November 21, 2024 22:30 15s
Simplify invariant output Validate-YAML #544: Pull request #798 synchronize by elazarg
November 20, 2024 21:19 15s simpl-repr
simpl-repr
November 20, 2024 21:19 15s
Simplify invariant output Validate-YAML #543: Pull request #798 opened by elazarg
November 20, 2024 18:48 16s simpl-repr
simpl-repr
November 20, 2024 18:48 16s
No transform when checking + check code reorg (second attempt) (#796) Validate-YAML #542: Commit 04f0e92 pushed by elazarg
November 17, 2024 16:06 16s main
main
November 17, 2024 16:06 16s
No transform when checking + check code reorg (second attempt) Validate-YAML #541: Pull request #796 synchronize by elazarg
November 17, 2024 15:20 15s 2transform-2once
2transform-2once
November 17, 2024 15:20 15s
No transform when checking + check code reorg (second attempt) Validate-YAML #540: Pull request #796 synchronize by elazarg
November 17, 2024 15:06 16s 2transform-2once
2transform-2once
November 17, 2024 15:06 16s
No transform when checking + check code reorg (second attempt) Validate-YAML #539: Pull request #796 synchronize by elazarg
November 17, 2024 14:38 14s 2transform-2once
2transform-2once
November 17, 2024 14:38 14s
No transform when checking + check code reorg (second attempt) Validate-YAML #538: Pull request #796 opened by elazarg
November 17, 2024 14:04 17s 2transform-2once
2transform-2once
November 17, 2024 14:04 17s
Bump external/bpf_conformance from b544539 to 3357834 Validate-YAML #537: Commit 8143eb2 pushed by elazarg
November 16, 2024 21:18 15s main
main
November 16, 2024 21:18 15s
Bump external/libbtf from 2de28d7 to 2f68368 Validate-YAML #536: Commit 8465d12 pushed by elazarg
November 16, 2024 21:18 13s main
main
November 16, 2024 21:18 13s
Bump external/bpf_conformance from b544539 to 3357834 Validate-YAML #535: Pull request #795 opened by dependabot bot
November 16, 2024 16:43 12s dependabot/submodules/external/bpf_conformance-3357834
dependabot/submodules/external/bpf_conformance-3357834
November 16, 2024 16:43 12s
Bump external/libbtf from 2de28d7 to 2f68368 Validate-YAML #534: Pull request #794 opened by dependabot bot
November 16, 2024 16:43 17s dependabot/submodules/external/libbtf-2f68368
dependabot/submodules/external/libbtf-2f68368
November 16, 2024 16:43 17s
Do not transform when checking + check code reorg Validate-YAML #533: Pull request #793 synchronize by elazarg
November 15, 2024 14:44 14s transform-once
transform-once
November 15, 2024 14:44 14s
Do not transform when checking + check code reorg Validate-YAML #532: Pull request #793 opened by elazarg
November 15, 2024 14:33 17s transform-once
transform-once
November 15, 2024 14:33 17s
fail hard when a non-Assume instruction turns an invariant into bottom Validate-YAML #531: Commit 37be029 pushed by elazarg
November 12, 2024 22:28 14s main
main
November 12, 2024 22:28 14s
Fail hard when a non-Assume instruction turns an invariant into bottom Validate-YAML #530: Pull request #791 opened by elazarg
November 12, 2024 21:52 19s err-on-nonassume-bottom
err-on-nonassume-bottom
November 12, 2024 21:52 19s
Add tests for issue 785 Validate-YAML #529: Pull request #786 synchronize by Alan-Jowett
November 12, 2024 00:13 14s Alan-Jowett:issue785_repro
Alan-Jowett:issue785_repro
November 12, 2024 00:13 14s
Put stats collection under static variable (#790) Validate-YAML #528: Commit 455555b pushed by elazarg
November 11, 2024 23:19 19s main
main
November 11, 2024 23:19 19s
Put stats collection under static variable Validate-YAML #527: Pull request #790 synchronize by Alan-Jowett
November 11, 2024 17:34 1m 1s Alan-Jowett:disable_dead_code
Alan-Jowett:disable_dead_code
November 11, 2024 17:34 1m 1s
Put stats collection under static variable Validate-YAML #526: Pull request #790 synchronize by Alan-Jowett
November 11, 2024 16:32 14s Alan-Jowett:disable_dead_code
Alan-Jowett:disable_dead_code
November 11, 2024 16:32 14s
Put stats collection under static variable Validate-YAML #525: Pull request #790 opened by Alan-Jowett
November 11, 2024 16:16 10m 20s Alan-Jowett:disable_dead_code
Alan-Jowett:disable_dead_code
November 11, 2024 16:16 10m 20s
Use GuardedInstruction for cfg_t node, instead of basic_block (#789) Validate-YAML #524: Commit c34b769 pushed by elazarg
November 10, 2024 21:15 12s main
main
November 10, 2024 21:15 12s
Use GuardedInstruction for cfg_t node, instead of basic_block Validate-YAML #523: Pull request #789 synchronize by elazarg
November 10, 2024 20:29 14s node-instruction
node-instruction
November 10, 2024 20:29 14s
Use GuardedInstruction for cfg_t node, instead of basic_block Validate-YAML #522: Pull request #789 synchronize by elazarg
November 10, 2024 19:24 16s node-instruction
node-instruction
November 10, 2024 19:24 16s