Skip to content

Actions: vul-os/envoir

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 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
docs: the mail gateway's home repo is now Ephor, not Wakala ci #20: Commit a485055 pushed by imranparuk
10s main
main
10s
docs(readme): fix stale spec links — dmtap repo renamed to kotva (KOT… ci #19: Commit ade7dba pushed by imranparuk
17s main
main
17s
docs: correct the workspace header — the gateway moved to wakala; env… ci #18: Commit decaa68 pushed by imranparuk
16s main
main
16s
docs: rewrite README for the node-only repo (gateway → wakala, substr… ci #17: Commit c7f8259 pushed by imranparuk
25s main
main
25s
envoir: node-only — drop the gateway + its conformance/fuzz coverage;… ci #16: Commit 620a68c pushed by imranparuk
20s main
main
20s
wip: consolidate in-progress work onto main (gateway, dmtap-core rtc,… ci #15: Commit e3827ae pushed by imranparuk
24s main
main
24s
wip: consolidate in-progress work onto main (gateway, dmtap-core rtc,… formal #5: Commit e3827ae pushed by imranparuk
48s main
main
48s
node: surface the §6.7 ephemeral view, don't just drop it ci #14: Commit 6fb783e pushed by imranparuk
21s dev
dev
21s
node: honor §6.7 sensitive — decrypt, show, never store ci #13: Commit ec6f914 pushed by imranparuk
19s dev
dev
19s
dmtap-core: Headers dropped two spec'd keys, so every extension was a… ci #12: Commit 72c85a3 pushed by imranparuk
25s dev
dev
25s
dmtap-deniable: a forged init could drain the one-time prekey pool ci #11: Commit 910d16f pushed by imranparuk
20s dev
dev
20s
dmtap-core: implement §2.7 step 8(b2) — a lifted vouch must not admit… ci #10: Commit f46cc85 pushed by imranparuk
19s dev
dev
19s
dmtap-core: implement §25 pub/sub, and fail closed on a suite we cann… ci #9: Commit 2edf838 pushed by imranparuk
23s dev
dev
23s
dmtap-core: the eviction-durability fix existed but nothing enforced it ci #8: Commit 1749196 pushed by imranparuk
24s dev
dev
24s
formal: prove the cold-gate binding, and keep the retracted §9.2a cla… formal #4: Commit 6020255 pushed by imranparuk
1m 1s dev
dev
1m 1s
formal: prove the cold-gate binding, and keep the retracted §9.2a cla… ci #7: Commit 6020255 pushed by imranparuk
24s dev
dev
24s
formal: prove §5.1 fork evidence cannot be forged, so the mandated HA… ci #6: Commit 7d45715 pushed by imranparuk
19s dev
dev
19s
formal: prove §5.1 fork evidence cannot be forged, so the mandated HA… formal #3: Commit 7d45715 pushed by imranparuk
56s dev
dev
56s
formal: model the suite ratchet's authenticated half, and say plainly… ci #5: Commit 43bd957 pushed by imranparuk
23s dev
dev
23s
formal: model the suite ratchet's authenticated half, and say plainly… formal #2: Commit 43bd957 pushed by imranparuk
45s dev
dev
45s
dmtap-core: eviction is durable — re-adding an evicted factor is weak… ci #4: Commit 8a65f17 pushed by imranparuk
20s dev
dev
20s
dmtap-core: implement §1.4 rule 2 — 0x010C was registered and unreach… ci #3: Commit 806d404 pushed by imranparuk
25s dev
dev
25s
conformance-runner: document five more investigated-but-unexecutable … ci #2: Commit b62848b pushed by imranparuk
22s dev
dev
22s
formal + ci: gate the proofs and the tests, which nothing was doing ci #1: Commit 42b557f pushed by imranparuk
22s dev
dev
22s
formal + ci: gate the proofs and the tests, which nothing was doing formal #1: Commit 42b557f pushed by imranparuk
51s dev
dev
51s