Skip to content

Actions: GaloisInc/libsignal-docs-and-models

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 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
Verification Comment Verification Comment #6: completed by protoben
1s
1s
Scaffold top-level security proofs for high-fidelity extracted model CI #6: Commit ef0dfa2 pushed by protoben
9m 6s main
main
9m 6s
Verification Comment Verification Comment #5: completed by protoben
8s
8s
Reorganize Aeneas extractions and remove some unused definitions CI #5: Commit 64cebf6 pushed by protoben
10m 33s main
main
10m 33s
Verification Comment Verification Comment #4: completed by protoben
1s
1s
Create party state machine for high-fidelity extracted PQXDH CI #4: Commit 1101f56 pushed by protoben
9m 8s main
main
9m 8s
Verification Comment Verification Comment #3: completed by protoben
7s
7s
Update README CI #3: Commit 94698cc pushed by protoben
8m 33s main
main
8m 33s
pages build and deployment pages-build-deployment #4: by protoben
49s main
main
49s
pages build and deployment pages-build-deployment #3: by protoben
57s main
main
57s
pages build and deployment pages-build-deployment #2: by protoben
20s main
main
20s
pages build and deployment pages-build-deployment #1: by protoben
49s main
main
49s
Verification Comment Verification Comment #2: completed by protoben
1s
1s
Disable Lean lints in CI CI #2: Commit 1bd5dec pushed by protoben
4m 17s main
main
4m 17s
Verification Comment Verification Comment #1: completed by protoben
1s
1s
Add auto-generated Verso-documentation skeleton CI #1: Commit b7f66c1 pushed by protoben
14m 2s main
main
14m 2s