Proof Sync · Workflow runs · ericspidledw/seL4 · GitHub

Actions

All workflows
Workflows
- C Parser C Parser
- CI CI
- Compile Compile
- Deploy Deploy
- HW HW
- PR PR
- Proof Sync Proof Sync
- Proofs Proofs
- RefMan RefMan
- seL4Test seL4Test
Management
- Caches

Proof Sync

Actions

Loading...
Loading

preprocess-deploy.yml

1 workflow run

1 workflow run

treewide: typo fixes Proof Sync #1: Commit eca86cf pushed by ericspidledw

1m 23s master

master

1m 23s