Skip to content

Actions: 0xPolygonZero/zk_evm

Actions

lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
277 workflow runs
277 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add faster STARK configuration for testing purposes lint #277: Pull request #739 synchronize by sai-deng
October 21, 2024 18:20 2m 51s sai/faster_config
sai/faster_config
October 21, 2024 18:20 2m 51s
Add faster STARK configuration for testing purposes lint #276: Pull request #739 synchronize by sai-deng
October 21, 2024 18:15 2m 56s sai/faster_config
sai/faster_config
October 21, 2024 18:15 2m 56s
Add faster STARK configuration for testing purposes lint #275: Pull request #739 opened by sai-deng
October 21, 2024 18:12 2m 50s sai/faster_config
sai/faster_config
October 21, 2024 18:12 2m 50s
Move opcode_count Under Test Configuration (#736) lint #274: Commit e2b82e7 pushed by sai-deng
October 21, 2024 15:33 2m 50s develop
develop
October 21, 2024 15:33 2m 50s
fix: more robust SMT parsing (#733) lint #273: Commit 8681cd7 pushed by 0xaatif
October 21, 2024 14:45 2m 59s develop
develop
October 21, 2024 14:45 2m 59s
Prefetch JUMPDESTs through RPC lint #272: Pull request #427 synchronize by einar-polygon
October 21, 2024 13:59 3m 10s einar/prefetch_transaction_jumps/pr
einar/prefetch_transaction_jumps/pr
October 21, 2024 13:59 3m 10s
Prefetch JUMPDESTs through RPC lint #271: Pull request #427 synchronize by einar-polygon
October 21, 2024 13:50 3m 4s einar/prefetch_transaction_jumps/pr
einar/prefetch_transaction_jumps/pr
October 21, 2024 13:50 3m 4s
WIP: BlockInterval support for hash ranges lint #270: Pull request #728 synchronize by sergerad
October 20, 2024 19:20 Action required sergerad:serge/block-hash-interval
sergerad:serge/block-hash-interval
October 20, 2024 19:20 Action required
WIP: BlockInterval support for hash ranges lint #269: Pull request #728 synchronize by sergerad
October 20, 2024 03:58 Action required sergerad:serge/block-hash-interval
sergerad:serge/block-hash-interval
October 20, 2024 03:58 Action required
WIP: BlockInterval support for hash ranges lint #268: Pull request #728 synchronize by sergerad
October 20, 2024 01:07 Action required sergerad:serge/block-hash-interval
sergerad:serge/block-hash-interval
October 20, 2024 01:07 Action required
WIP: BlockInterval support for hash ranges lint #267: Pull request #728 synchronize by sergerad
October 20, 2024 01:01 Action required sergerad:serge/block-hash-interval
sergerad:serge/block-hash-interval
October 20, 2024 01:01 Action required
feat: Add INCR privileged instructions lint #266: Pull request #734 synchronize by Nashtare
October 20, 2024 00:05 2m 54s feat/incr_opcode
feat/incr_opcode
October 20, 2024 00:05 2m 54s
fix (#738) lint #265: Commit f8c5f9c pushed by Nashtare
October 20, 2024 00:03 2m 51s develop
develop
October 20, 2024 00:03 2m 51s
fix: unused MemAfter table lint #264: Pull request #738 opened by sai-deng
October 19, 2024 22:42 2m 54s sai/tmp_fix_mem_after
sai/tmp_fix_mem_after
October 19, 2024 22:42 2m 54s
Move opcode_count Under Test Configuration lint #263: Pull request #736 synchronize by sai-deng
October 18, 2024 18:29 3m 0s sai/opcount_in_debug
sai/opcount_in_debug
October 18, 2024 18:29 3m 0s
Move opcode_count Under Test Configuration lint #262: Pull request #736 synchronize by sai-deng
October 18, 2024 18:25 2m 52s sai/opcount_in_debug
sai/opcount_in_debug
October 18, 2024 18:25 2m 52s
feat: Enable more optional tables (#724) lint #261: Commit ae6c3c4 pushed by sai-deng
October 18, 2024 18:21 2m 50s develop
develop
October 18, 2024 18:21 2m 50s
Move opcode_count Under Test Configuration lint #260: Pull request #736 opened by sai-deng
October 18, 2024 18:19 2m 58s sai/opcount_in_debug
sai/opcount_in_debug
October 18, 2024 18:19 2m 58s
feat: Enable more optional tables lint #259: Pull request #724 synchronize by sai-deng
October 18, 2024 17:46 2m 50s sai/more_optional_tables
sai/more_optional_tables
October 18, 2024 17:46 2m 50s
feat: Add INCR privileged instructions lint #258: Pull request #734 synchronize by Nashtare
October 18, 2024 17:27 2m 47s feat/incr_opcode
feat/incr_opcode
October 18, 2024 17:27 2m 47s
feat: Add INCR privileged instructions lint #257: Pull request #734 synchronize by Nashtare
October 18, 2024 16:35 3m 4s feat/incr_opcode
feat/incr_opcode
October 18, 2024 16:35 3m 4s
feat: Add INCR privileged instructions lint #256: Pull request #734 opened by Nashtare
October 18, 2024 16:16 2m 56s feat/incr_opcode
feat/incr_opcode
October 18, 2024 16:16 2m 56s
feat: Enable more optional tables lint #255: Pull request #724 synchronize by sai-deng
October 18, 2024 00:31 2m 52s sai/more_optional_tables
sai/more_optional_tables
October 18, 2024 00:31 2m 52s
discuss: spanned AST lint #254: Pull request #678 synchronize by 0xaatif
October 17, 2024 23:13 3m 28s 0xaatif/spanned-ast
0xaatif/spanned-ast
October 17, 2024 23:13 3m 28s
fix: more robust SMT parsing lint #253: Pull request #733 opened by 0xaatif
October 17, 2024 21:42 2m 53s 0xaatif/smt-parse-tweaking
0xaatif/smt-parse-tweaking
October 17, 2024 21:42 2m 53s