Skip to content

Actions: cryspen/securedrop-protocol

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
80 workflow runs
80 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
build(deps): bump body-parser from 2.2.1 to 2.3.0 in /securedrop-protocol/bench CI #16: Pull request #4 opened by dependabot Bot
7m 3s dependabot/npm_and_yarn/securedrop-protocol/bench/body-parser-2.3.0
dependabot/npm_and_yarn/securedrop-protocol/bench/body-parser-2.3.0
7m 3s
build(deps): bump body-parser from 2.2.1 to 2.3.0 in /securedrop-protocol/bench Rust documentation #16: Pull request #4 opened by dependabot Bot
2m 25s dependabot/npm_and_yarn/securedrop-protocol/bench/body-parser-2.3.0
dependabot/npm_and_yarn/securedrop-protocol/bench/body-parser-2.3.0
2m 25s
build(deps): bump body-parser from 2.2.1 to 2.3.0 in /securedrop-protocol/bench hax #16: Pull request #4 opened by dependabot Bot
12m 12s dependabot/npm_and_yarn/securedrop-protocol/bench/body-parser-2.3.0
dependabot/npm_and_yarn/securedrop-protocol/bench/body-parser-2.3.0
12m 12s
build(deps): bump body-parser from 2.2.1 to 2.3.0 in /securedrop-protocol/bench Rust CI #16: Pull request #4 opened by dependabot Bot
10m 30s dependabot/npm_and_yarn/securedrop-protocol/bench/body-parser-2.3.0
dependabot/npm_and_yarn/securedrop-protocol/bench/body-parser-2.3.0
10m 30s
build(deps): bump body-parser in /securedrop-protocol/bench CI #15: Commit 43ce450 pushed by dependabot Bot
7m 7s dependabot/npm_and_yarn/securedrop-protocol/bench/body-parser-2.3.0
dependabot/npm_and_yarn/securedrop-protocol/bench/body-parser-2.3.0
7m 7s
build(deps): bump body-parser in /securedrop-protocol/bench Rust CI #15: Commit 43ce450 pushed by dependabot Bot
10m 41s dependabot/npm_and_yarn/securedrop-protocol/bench/body-parser-2.3.0
dependabot/npm_and_yarn/securedrop-protocol/bench/body-parser-2.3.0
10m 41s
build(deps): bump body-parser in /securedrop-protocol/bench hax #15: Commit 43ce450 pushed by dependabot Bot
20m 24s dependabot/npm_and_yarn/securedrop-protocol/bench/body-parser-2.3.0
dependabot/npm_and_yarn/securedrop-protocol/bench/body-parser-2.3.0
20m 24s
build(deps): bump body-parser in /securedrop-protocol/bench Rust documentation #15: Commit 43ce450 pushed by dependabot Bot
58s dependabot/npm_and_yarn/securedrop-protocol/bench/body-parser-2.3.0
dependabot/npm_and_yarn/securedrop-protocol/bench/body-parser-2.3.0
58s
npm_and_yarn in /securedrop-protocol/bench for body-parser - Update #1472672825 Dependabot Updates #2: by dependabot Bot
1m 0s main
main
1m 0s
Add Lean (Aeneas) extraction of the crypto core CI #14: Pull request #3 opened by karthikbhargavan
48s lean-aeneas-extraction
lean-aeneas-extraction
48s
Add Lean (Aeneas) extraction of the crypto core Rust CI #14: Pull request #3 opened by karthikbhargavan
8m 20s lean-aeneas-extraction
lean-aeneas-extraction
8m 20s
Add Lean (Aeneas) extraction of the crypto core Rust documentation #14: Pull request #3 opened by karthikbhargavan
1m 13s lean-aeneas-extraction
lean-aeneas-extraction
1m 13s
Add Lean (Aeneas) extraction of the crypto core hax #14: Pull request #3 opened by karthikbhargavan
20m 49s lean-aeneas-extraction
lean-aeneas-extraction
20m 49s
Add Lean (Aeneas) extraction of the crypto core proverif #14: Pull request #3 opened by karthikbhargavan
1m 50s lean-aeneas-extraction
lean-aeneas-extraction
1m 50s
feat(proofs): add Lean (Aeneas) extraction of the crypto core Rust documentation #13: Commit eaa900f pushed by karthikbhargavan
58s lean-aeneas-extraction
lean-aeneas-extraction
58s
feat(proofs): add Lean (Aeneas) extraction of the crypto core hax #13: Commit eaa900f pushed by karthikbhargavan
20m 36s lean-aeneas-extraction
lean-aeneas-extraction
20m 36s
feat(proofs): add Lean (Aeneas) extraction of the crypto core Rust CI #13: Commit eaa900f pushed by karthikbhargavan
11m 18s lean-aeneas-extraction
lean-aeneas-extraction
11m 18s
feat(proofs): add Lean (Aeneas) extraction of the crypto core CI #13: Commit eaa900f pushed by karthikbhargavan
6m 54s lean-aeneas-extraction
lean-aeneas-extraction
6m 54s
feat(proofs): add Lean (Aeneas) extraction of the crypto core proverif #13: Commit eaa900f pushed by karthikbhargavan
6m 19s lean-aeneas-extraction
lean-aeneas-extraction
6m 19s
Add hax→ProVerif symbolic analysis for protocol-minimal proverif #12: Pull request #2 synchronize by karthikbhargavan
2m 2s proverif-symbolic-analysis
proverif-symbolic-analysis
2m 2s
Add hax→ProVerif symbolic analysis for protocol-minimal Rust documentation #12: Pull request #2 synchronize by karthikbhargavan
1m 49s proverif-symbolic-analysis
proverif-symbolic-analysis
1m 49s
Add hax→ProVerif symbolic analysis for protocol-minimal CI #12: Pull request #2 synchronize by karthikbhargavan
43s proverif-symbolic-analysis
proverif-symbolic-analysis
43s
Add hax→ProVerif symbolic analysis for protocol-minimal Rust CI #12: Pull request #2 synchronize by karthikbhargavan
10m 13s proverif-symbolic-analysis
proverif-symbolic-analysis
10m 13s
Add hax→ProVerif symbolic analysis for protocol-minimal hax #12: Pull request #2 synchronize by karthikbhargavan
20m 41s proverif-symbolic-analysis
proverif-symbolic-analysis
20m 41s
docs(proverif): add "Coverage in numbers" (translated vs trusted line… hax #11: Commit 25dbadf pushed by karthikbhargavan
20m 35s proverif-symbolic-analysis
proverif-symbolic-analysis
20m 35s