Skip to content

Actions: openvm-org/openvm

Actions

Lint Workspace

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lints.yml
2,478 workflow run results
2,478 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[fix] fix static verifier (#498) Lint Workspace #2428: Commit 8aa767b pushed by yi-sun
October 4, 2024 21:14 1m 29s main
main
October 4, 2024 21:14 1m 29s
[fix] fix static verifier Lint Workspace #2427: Pull request #498 synchronize by Golovanov399
October 4, 2024 19:37 1m 25s fix/static-verifier-2024-10
fix/static-verifier-2024-10
October 4, 2024 19:37 1m 25s
[fix] fix static verifier Lint Workspace #2426: Pull request #498 opened by Golovanov399
October 4, 2024 19:28 1m 17s fix/static-verifier-2024-10
fix/static-verifier-2024-10
October 4, 2024 19:28 1m 17s
[refactor] Add V2 Prover/Verifier to support optional AIRs Lint Workspace #2425: Pull request #493 synchronize by nyunyunyunyu
October 4, 2024 19:04 1m 24s refactor/optional-air
refactor/optional-air
October 4, 2024 19:04 1m 24s
feat: MachineAdapter for RISC-V ALU chips Lint Workspace #2424: Pull request #497 opened by stephenh-axiom-xyz
October 4, 2024 18:15 1m 52s feat/risc-register-adapter
feat/risc-register-adapter
October 4, 2024 18:15 1m 52s
[refactor] Add V2 Prover/Verifier to support optional AIRs Lint Workspace #2423: Pull request #493 synchronize by nyunyunyunyu
October 4, 2024 18:12 1m 25s refactor/optional-air
refactor/optional-air
October 4, 2024 18:12 1m 25s
[refactor] Add V2 Prover/Verifier to support optional AIRs Lint Workspace #2422: Pull request #493 synchronize by nyunyunyunyu
October 4, 2024 17:47 1m 31s refactor/optional-air
refactor/optional-air
October 4, 2024 17:47 1m 31s
Fix benchmarks (#496) Lint Workspace #2421: Commit b071c8a pushed by Golovanov399
October 4, 2024 16:28 1m 25s main
main
October 4, 2024 16:28 1m 25s
[fix] Fix benchmarks Lint Workspace #2420: Pull request #496 opened by Golovanov399
October 4, 2024 15:41 1m 33s fix/benchmarks-2024-10
fix/benchmarks-2024-10
October 4, 2024 15:41 1m 33s
fix: bench metrics Lint Workspace #2419: Pull request #495 opened by luffykai
October 4, 2024 15:22 1m 18s lunkai/fix-bench
lunkai/fix-bench
October 4, 2024 15:22 1m 18s
[feat] fp2 arithmetic Lint Workspace #2418: Pull request #494 synchronize by luffykai
October 4, 2024 03:11 4m 17s lunkai/fp2-2
lunkai/fp2-2
October 4, 2024 03:11 4m 17s
Feat/opcode classes (#492) Lint Workspace #2417: Commit b269c18 pushed by jonathanpwang
October 4, 2024 03:00 1m 41s main
main
October 4, 2024 03:00 1m 41s
[feat] fp2 arithmetic Lint Workspace #2416: Pull request #494 opened by luffykai
October 4, 2024 02:48 54s lunkai/fp2-2
lunkai/fp2-2
October 4, 2024 02:48 54s
[refactor] Add V2 Prover/Verifier to support optional AIRs Lint Workspace #2415: Pull request #493 opened by nyunyunyunyu
October 4, 2024 02:44 4s refactor/optional-air
refactor/optional-air
October 4, 2024 02:44 4s
[feat] auto carry for field expression (#484) Lint Workspace #2414: Commit 6e1d856 pushed by luffykai
October 4, 2024 02:36 1m 28s main
main
October 4, 2024 02:36 1m 28s
Feat/opcode classes Lint Workspace #2413: Pull request #492 synchronize by jonathanpwang
October 4, 2024 02:34 3s feat/opcode-classes
feat/opcode-classes
October 4, 2024 02:34 3s
Feat/opcode classes Lint Workspace #2412: Pull request #492 synchronize by jonathanpwang
October 4, 2024 02:22 3s feat/opcode-classes
feat/opcode-classes
October 4, 2024 02:22 3s
Feat/opcode classes Lint Workspace #2411: Pull request #492 synchronize by Golovanov399
October 3, 2024 22:26 2s feat/opcode-classes
feat/opcode-classes
October 3, 2024 22:26 2s
Feat/opcode classes Lint Workspace #2410: Pull request #492 synchronize by Golovanov399
October 3, 2024 21:33 3s feat/opcode-classes
feat/opcode-classes
October 3, 2024 21:33 3s
[feat] Multi Miller loop (#446) Lint Workspace #2409: Commit b4ea20a pushed by ytham
October 3, 2024 19:59 4m 3s main
main
October 3, 2024 19:59 4m 3s
[feat] Multi Miller loop Lint Workspace #2408: Pull request #446 synchronize by ytham
October 3, 2024 19:56 1m 16s feat/miller-opcodes
feat/miller-opcodes
October 3, 2024 19:56 1m 16s
[feat] Multi Miller loop Lint Workspace #2407: Pull request #446 synchronize by ytham
October 3, 2024 14:37 1m 24s feat/miller-opcodes
feat/miller-opcodes
October 3, 2024 14:37 1m 24s
Feat/opcode classes Lint Workspace #2406: Pull request #492 synchronize by Golovanov399
October 3, 2024 14:25 4s feat/opcode-classes
feat/opcode-classes
October 3, 2024 14:25 4s
[feat] Multi Miller loop Lint Workspace #2405: Pull request #446 synchronize by ytham
October 3, 2024 14:15 47s feat/miller-opcodes
feat/miller-opcodes
October 3, 2024 14:15 47s
[feat] Multi Miller loop Lint Workspace #2404: Pull request #446 synchronize by ytham
October 3, 2024 14:05 4m 4s feat/miller-opcodes
feat/miller-opcodes
October 3, 2024 14:05 4m 4s