Skip to content

Actions: 0xPolygonMiden/miden-vm

Actions

lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
461 workflow runs
461 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Move Op group table to LogUp-GKR lint #490: Pull request #1505 synchronize by plafer
September 20, 2024 19:27 1m 55s plafer-offload-opgrouptable-to-gkr
plafer-offload-opgrouptable-to-gkr
September 20, 2024 19:27 1m 55s
Move Op group table to LogUp-GKR lint #489: Pull request #1505 opened by plafer
September 19, 2024 21:30 1m 53s plafer-offload-opgrouptable-to-gkr
plafer-offload-opgrouptable-to-gkr
September 19, 2024 21:30 1m 53s
LogUp-GKR: Tracking PR lint #488: Pull request #1504 opened by plafer
September 19, 2024 17:23 1m 59s logup-gkr
logup-gkr
September 19, 2024 17:23 1m 59s
Integrate LogUp-GKR into the VM lint #487: Pull request #1493 synchronize by plafer
September 19, 2024 11:09 1m 54s al-logup-gkr-integration
al-logup-gkr-integration
September 19, 2024 11:09 1m 54s
Tracking PR for v0.11.0 release lint #486: Pull request #1472 synchronize by plafer
September 18, 2024 20:09 1m 49s next
next
September 18, 2024 20:09 1m 49s
Merge pull request #1496 from 0xPolygonMiden/plafer-1457-emit-instr lint #485: Commit 080597b pushed by plafer
September 18, 2024 20:09 1m 54s next
next
September 18, 2024 20:09 1m 54s
Introduce Emit instruction lint #484: Pull request #1496 synchronize by plafer
September 18, 2024 15:17 1m 56s plafer-1457-emit-instr
plafer-1457-emit-instr
September 18, 2024 15:17 1m 56s
Integrate LogUp-GKR into the VM lint #483: Pull request #1493 synchronize by Al-Kindi-0
September 18, 2024 08:05 2m 4s al-logup-gkr-integration
al-logup-gkr-integration
September 18, 2024 08:05 2m 4s
Integrate LogUp-GKR into the VM lint #482: Pull request #1493 synchronize by Al-Kindi-0
September 18, 2024 07:48 1m 58s al-logup-gkr-integration
al-logup-gkr-integration
September 18, 2024 07:48 1m 58s
Introduce Emit instruction lint #481: Pull request #1496 synchronize by plafer
September 17, 2024 21:13 2m 7s plafer-1457-emit-instr
plafer-1457-emit-instr
September 17, 2024 21:13 2m 7s
Debug mode via cli option lint #480: Pull request #1502 opened by yasonk
September 17, 2024 19:59 1m 55s yasonk:debug-mode-via-cli-option
yasonk:debug-mode-via-cli-option
September 17, 2024 19:59 1m 55s
Introduce Emit instruction lint #479: Pull request #1496 synchronize by plafer
September 17, 2024 18:53 1m 55s plafer-1457-emit-instr
plafer-1457-emit-instr
September 17, 2024 18:53 1m 55s
Introduce Emit instruction lint #478: Pull request #1496 synchronize by plafer
September 17, 2024 17:44 2m 0s plafer-1457-emit-instr
plafer-1457-emit-instr
September 17, 2024 17:44 2m 0s
Docs fix typos lint #477: Pull request #1500 opened by cratiu222
September 17, 2024 16:55 1m 55s cratiu222:docs-fix-typos
cratiu222:docs-fix-typos
September 17, 2024 16:55 1m 55s
Tracking PR for v0.11.0 release lint #476: Pull request #1472 synchronize by plafer
September 17, 2024 14:51 1m 54s next
next
September 17, 2024 14:51 1m 54s
Fix operation batch flags constraints (#1495) lint #475: Commit f06923b pushed by plafer
September 17, 2024 14:51 1m 58s next
next
September 17, 2024 14:51 1m 58s
Introduce Emit instruction lint #474: Pull request #1496 synchronize by plafer
September 16, 2024 21:04 2m 1s plafer-1457-emit-instr
plafer-1457-emit-instr
September 16, 2024 21:04 2m 1s
Introduce Emit instruction lint #473: Pull request #1496 synchronize by plafer
September 16, 2024 21:01 1m 53s plafer-1457-emit-instr
plafer-1457-emit-instr
September 16, 2024 21:01 1m 53s
Introduce Emit instruction lint #472: Pull request #1496 synchronize by plafer
September 16, 2024 17:03 1m 59s plafer-1457-emit-instr
plafer-1457-emit-instr
September 16, 2024 17:03 1m 59s
chore(deps): bump pretty_assertions from 1.4.0 to 1.4.1 lint #471: Pull request #1499 opened by dependabot bot
September 16, 2024 15:36 1m 56s dependabot/cargo/pretty_assertions-1.4.1
dependabot/cargo/pretty_assertions-1.4.1
September 16, 2024 15:36 1m 56s
chore(deps): bump miden-crypto from 0.10.0 to 0.10.1 lint #470: Pull request #1498 opened by dependabot bot
September 16, 2024 15:36 1m 57s dependabot/cargo/miden-crypto-0.10.1
dependabot/cargo/miden-crypto-0.10.1
September 16, 2024 15:36 1m 57s
Fix operation batch flags constraints lint #469: Pull request #1495 synchronize by plafer
September 16, 2024 13:55 1m 53s plafer-fix-decoder-constraints
plafer-fix-decoder-constraints
September 16, 2024 13:55 1m 53s
Restrict the number of stack inputs and outputs to 16 lint #468: Pull request #1456 synchronize by Fumuran
September 16, 2024 11:53 1m 50s andrew-limit-io-stack-to-16
andrew-limit-io-stack-to-16
September 16, 2024 11:53 1m 50s
Restrict the number of stack inputs and outputs to 16 lint #467: Pull request #1456 synchronize by Fumuran
September 13, 2024 23:31 1m 59s andrew-limit-io-stack-to-16
andrew-limit-io-stack-to-16
September 13, 2024 23:31 1m 59s
Introduce Emit instruction lint #466: Pull request #1496 opened by plafer
September 13, 2024 20:06 1m 52s plafer-1457-emit-instr
plafer-1457-emit-instr
September 13, 2024 20:06 1m 52s