Skip to content

Actions: Verified-zkEVM/VCVio

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat(UAKE): UAKE security notion Lint Style #1451: Pull request #476 synchronize by protoben
Action required GaloisInc:uake
GaloisInc:uake
Action required
feat(UAKE): UAKE security notion Interop TCB Isolation #991: Pull request #476 synchronize by protoben
Action required GaloisInc:uake
GaloisInc:uake
Action required
feat(UAKE): UAKE security notion Lean Action CI #2667: Pull request #476 synchronize by protoben
Action required GaloisInc:uake
GaloisInc:uake
Action required
feat(UAKE): UAKE security notion Agent Docs #1703: Pull request #476 synchronize by protoben
Action required GaloisInc:uake
GaloisInc:uake
Action required
feat(UAKE): UAKE security notion PR Summary #1471: Pull request #476 synchronize by protoben
1m 58s
1m 58s
FFI Nightly Check FFI Nightly Check #54: Scheduled
11m 46s main
main
11m 46s
feat(MLDSA): tailored SelfTargetMSIS problem and the NMA extraction bound PR Review #916: Issue comment #506 (comment) created by alik-eth
1s
1s
feat(FiatShamir): Fiat-Shamir-with-aborts CMA-to-NMA reduction engine PR Review #915: Issue comment #507 (comment) created by alik-eth
9s
9s
Migrate to Lean modules and update dependencies to v4.32.2 PR Review #914: Issue comment #510 (comment) created by BoltonBailey
1s
1s
Migrate to Lean modules and update dependencies to v4.32.2 PR Review #913: Issue comment #510 (comment) created by dtumad
1s
1s
Migrate to Lean modules and update dependencies to v4.32.2 Lint Style #1450: Pull request #510 synchronize by dtumad
3m 0s refactor/module-system-migration
refactor/module-system-migration
3m 0s
Migrate to Lean modules and update dependencies to v4.32.2 Agent Docs #1702: Pull request #510 synchronize by dtumad
12s refactor/module-system-migration
refactor/module-system-migration
12s
Migrate to Lean modules and update dependencies to v4.32.2 Interop TCB Isolation #990: Pull request #510 synchronize by dtumad
10s refactor/module-system-migration
refactor/module-system-migration
10s
Migrate to Lean modules and update dependencies to v4.32.2 PR Summary #1470: Pull request #510 synchronize by dtumad
26m 53s
26m 53s
Migrate to Lean modules and update dependencies to v4.32.2 Lean Action CI #2666: Pull request #510 synchronize by dtumad
59m 33s refactor/module-system-migration
refactor/module-system-migration
59m 33s
Migrate to Lean modules and update dependencies to v4.32.2 Interop TCB Isolation #989: Pull request #510 synchronize by dtumad
18s refactor/module-system-migration
refactor/module-system-migration
18s
Migrate to Lean modules and update dependencies to v4.32.2 Lint Style #1449: Pull request #510 synchronize by dtumad
16m 2s refactor/module-system-migration
refactor/module-system-migration
16m 2s
Migrate to Lean modules and update dependencies to v4.32.2 Agent Docs #1701: Pull request #510 synchronize by dtumad
22s refactor/module-system-migration
refactor/module-system-migration
22s
Migrate to Lean modules and update dependencies to v4.32.2 Lean Action CI #2665: Pull request #510 synchronize by dtumad
1h 19m 50s refactor/module-system-migration
refactor/module-system-migration
1h 19m 50s
Migrate to Lean modules and update dependencies to v4.32.2 PR Summary #1469: Pull request #510 synchronize by dtumad
17m 37s
17m 37s
Migrate to Lean modules and update dependencies to v4.32.2 Interop TCB Isolation #988: Pull request #510 synchronize by dtumad
14s refactor/module-system-migration
refactor/module-system-migration
14s
Migrate to Lean modules and update dependencies to v4.32.2 Agent Docs #1700: Pull request #510 synchronize by dtumad
10s refactor/module-system-migration
refactor/module-system-migration
10s
Migrate to Lean modules and update dependencies to v4.32.2 PR Summary #1468: Pull request #510 synchronize by dtumad
12m 30s
12m 30s
Migrate to Lean modules and update dependencies to v4.32.2 Lint Style #1448: Pull request #510 synchronize by dtumad
3m 31s refactor/module-system-migration
refactor/module-system-migration
3m 31s
Migrate to Lean modules and update dependencies to v4.32.2 Lean Action CI #2664: Pull request #510 synchronize by dtumad
13m 15s refactor/module-system-migration
refactor/module-system-migration
13m 15s