Skip to content

Actions: vyperlang/vyper

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
3,500 workflow runs
3,500 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix[venom]: fixes to SCCP
CodeQL #7929: Pull request #4748 synchronize by harkal
September 12, 2025 08:49 1m 58s harkal:fix/venom/sccp_defer_eval_top
September 12, 2025 08:49 1m 58s
feat[tool]: add extra debugging output
CodeQL #7926: Pull request #4718 synchronize by jtoman
September 11, 2025 23:01 1m 48s Certora:jtoman/debug-info-ext
September 11, 2025 23:01 1m 48s
docs: fix broken link
CodeQL #7925: Pull request #4750 opened by Fibonacci747
September 11, 2025 11:57 Action required Fibonacci747:master
September 11, 2025 11:57 Action required
fix[venom]: fixes to SCCP
CodeQL #7924: Pull request #4748 synchronize by harkal
September 11, 2025 10:58 1m 38s harkal:fix/venom/sccp_defer_eval_top
September 11, 2025 10:58 1m 38s
fix[venom]: fixes to SCCP
CodeQL #7923: Pull request #4748 synchronize by harkal
September 11, 2025 10:51 1m 40s harkal:fix/venom/sccp_defer_eval_top
September 11, 2025 10:51 1m 40s
fix[venom]: fixes to SCCP
CodeQL #7922: Pull request #4748 opened by harkal
September 11, 2025 10:33 2m 0s harkal:fix/venom/sccp_defer_eval_top
September 11, 2025 10:33 2m 0s
feat[tool]: add extra debugging output
CodeQL #7920: Pull request #4718 synchronize by jtoman
September 10, 2025 17:41 1m 48s Certora:jtoman/debug-info-ext
September 10, 2025 17:41 1m 48s
feat[tool]: add extra debugging output
CodeQL #7919: Pull request #4718 synchronize by jtoman
September 10, 2025 17:41 Action required Certora:jtoman/debug-info-ext
September 10, 2025 17:41 Action required
fix[venom]: handle empty liveness case (#4746)
CodeQL #7918: Commit 34a9e08 pushed by charles-cooper
September 10, 2025 14:27 1m 50s master
September 10, 2025 14:27 1m 50s
fix[venom]: handle empty liveness case
CodeQL #7917: Pull request #4746 synchronize by harkal
September 10, 2025 12:07 1m 45s harkal:fix/empty_liveness
September 10, 2025 12:07 1m 45s
fix[venom]: handle empty liveness case
CodeQL #7916: Pull request #4746 opened by harkal
September 10, 2025 12:05 1m 47s harkal:fix/empty_liveness
September 10, 2025 12:05 1m 47s
refactor[codegen]: refactor assembler file layout (#4744)
CodeQL #7915: Commit b75d0d8 pushed by charles-cooper
September 10, 2025 08:07 1m 37s master
September 10, 2025 08:07 1m 37s
feat[tool]: add extra debugging output
CodeQL #7914: Pull request #4718 synchronize by jtoman
September 8, 2025 20:37 1m 55s Certora:jtoman/debug-info-ext
September 8, 2025 20:37 1m 55s
refactor[codegen]: refactor assembler file layout
CodeQL #7913: Pull request #4744 synchronize by harkal
September 8, 2025 09:42 1m 44s harkal:refactor/assembler
September 8, 2025 09:42 1m 44s
refactor[codegen]: refactor assembler file layout
CodeQL #7912: Pull request #4744 opened by harkal
September 8, 2025 09:16 1m 43s harkal:refactor/assembler
September 8, 2025 09:16 1m 43s
Fix typos in comments across Venom analysis and codegen
CodeQL #7911: Pull request #4743 opened by sashaodessa
September 7, 2025 14:31 Action required sashaodessa:master
September 7, 2025 14:31 Action required
feat[test]: add more curvefi example contracts (#4714)
CodeQL #7910: Commit 4d7c4f4 pushed by charles-cooper
September 4, 2025 13:05 1m 46s master
September 4, 2025 13:05 1m 46s
chore[docs]: add github sponsorship to FUNDING.yml (#4740)
CodeQL #7909: Commit 23698f1 pushed by charles-cooper
September 4, 2025 08:04 1m 41s master
September 4, 2025 08:04 1m 41s
feat[venom]: stack2mem pass implementation
CodeQL #7908: Pull request #4245 synchronize by harkal
September 4, 2025 06:55 1m 47s harkal:feat/stack2mem
September 4, 2025 06:55 1m 47s
feat[venom]: stack2mem pass implementation
CodeQL #7907: Pull request #4245 synchronize by harkal
September 4, 2025 06:42 1m 50s harkal:feat/stack2mem
September 4, 2025 06:42 1m 50s
feat(flag): enable iteration via Flag.__values__
CodeQL #7906: Pull request #4739 synchronize by z80dev
September 4, 2025 00:05 1m 53s z80dev:feat/iterate-flags
September 4, 2025 00:05 1m 53s
feat(flag): enable iteration via Flag.__values__
CodeQL #7905: Pull request #4739 synchronize by z80dev
September 3, 2025 23:57 1m 46s z80dev:feat/iterate-flags
September 3, 2025 23:57 1m 46s