Verify VOSTD (PhaseII) Code · Workflow runs · Marsman1996/vostd · GitHub

Actions

All workflows
Workflows
- Format and Verify VOSTD (Main) Format and Verify VOSTD (Main)
- Format VOSTD (PhaseII) Code Format VOSTD (PhaseII) Code
- IRC11 Toolchain IRC11 Toolchain
- Run Verus Update Test Run Verus Update Test
- Verify VOSTD (Main) with verus-lang/verus Verify VOSTD (Main) with verus-lang/verus
- Verify VOSTD (PhaseII) Code Verify VOSTD (PhaseII) Code
Management
- Caches
- Deployments

Verify VOSTD (PhaseII) Code

Actions

Loading...
Loading

1 workflow run

1 workflow run

feat: add CI/CD in GitHub Verify VOSTD (PhaseII) Code #1: Commit b50dc0c pushed by Marsman1996

6m 50s phaseII/verified

phaseII/verified

6m 50s