Skip to content

Actions: trailofbits/vast

Linters

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
987 workflow runs
987 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add support for _Generic
Linters #1052: Pull request #720 synchronize by Jezurko
September 10, 2024 11:19 2m 50s generic-selection
September 10, 2024 11:19 2m 50s
Enable tests containing formerly unsupported stuff
Linters #1051: Pull request #721 opened by Jezurko
September 10, 2024 08:13 1m 48s enable-tests
September 10, 2024 08:13 1m 48s
Add support for _Generic
Linters #1050: Pull request #720 synchronize by Jezurko
September 10, 2024 08:07 2m 53s generic-selection
September 10, 2024 08:07 2m 53s
Add support for _Generic
Linters #1049: Pull request #720 opened by Jezurko
September 10, 2024 07:38 2m 57s generic-selection
September 10, 2024 07:38 2m 57s
Refactor type symbols and type op interface
Linters #1047: Pull request #718 synchronize by xlauko
September 9, 2024 13:51 2m 52s xlauko/type-symbols
September 9, 2024 13:51 2m 52s
Refactor type symbols and type op interface
Linters #1046: Pull request #718 opened by xlauko
September 9, 2024 11:34 2m 57s xlauko/type-symbols
September 9, 2024 11:34 2m 57s
ci: Export CMAKE_PREFIX_PATH via env for gap.
Linters #1045: Pull request #717 synchronize by xlauko
September 9, 2024 10:50 1m 41s frabert/ce-fix-gap
September 9, 2024 10:50 1m 41s
ci: Export CMAKE_PREFIX_PATH via env for gap.
Linters #1044: Pull request #717 opened by frabert
September 9, 2024 10:03 1m 48s frabert/ce-fix-gap
September 9, 2024 10:03 1m 48s
Implement ChooseExpr
Linters #1041: Pull request #715 synchronize by Jezurko
September 4, 2024 13:55 2m 36s choose-expr
September 4, 2024 13:55 2m 36s
Implement ChooseExpr
Linters #1039: Pull request #715 synchronize by Jezurko
September 4, 2024 09:35 2m 24s choose-expr
September 4, 2024 09:35 2m 24s
Implement ChooseExpr
Linters #1038: Pull request #715 synchronize by Jezurko
September 4, 2024 09:16 2m 24s choose-expr
September 4, 2024 09:16 2m 24s
Implement ChooseExpr
Linters #1037: Pull request #715 synchronize by Jezurko
September 4, 2024 09:15 2m 29s choose-expr
September 4, 2024 09:15 2m 29s
Expand support for attributes found in linux kernel
Linters #1036: Pull request #712 synchronize by Jezurko
September 4, 2024 07:30 2m 37s linux-attrs
September 4, 2024 07:30 2m 37s
Expand support for attributes found in linux kernel
Linters #1035: Pull request #712 synchronize by Jezurko
September 4, 2024 07:14 2m 33s linux-attrs
September 4, 2024 07:14 2m 33s
Add infrastructure to support SARIF output
Linters #1034: Pull request #701 synchronize by xlauko
September 3, 2024 15:18 2m 33s sarif
September 3, 2024 15:18 2m 33s
Expand support for attributes found in linux kernel
Linters #1033: Pull request #712 synchronize by Jezurko
September 3, 2024 15:15 2m 44s linux-attrs
September 3, 2024 15:15 2m 44s
Implement ChooseExpr
Linters #1032: Pull request #715 synchronize by Jezurko
September 3, 2024 14:33 2m 26s choose-expr
September 3, 2024 14:33 2m 26s
Implement ChooseExpr
Linters #1031: Pull request #715 opened by Jezurko
September 3, 2024 14:22 2m 18s choose-expr
September 3, 2024 14:22 2m 18s
Add infrastructure to support SARIF output
Linters #1030: Pull request #701 synchronize by xlauko
September 3, 2024 14:17 2m 35s sarif
September 3, 2024 14:17 2m 35s
Add infrastructure to support SARIF output
Linters #1029: Pull request #701 synchronize by xlauko
September 3, 2024 14:17 2m 38s sarif
September 3, 2024 14:17 2m 38s
Add attributed stmt
Linters #1028: Pull request #714 synchronize by Jezurko
September 3, 2024 13:29 2m 37s attributed-stmt
September 3, 2024 13:29 2m 37s