Skip to content

Actions: fixpoint-linux/visage

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 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
imapd: add RFC 2177 IDLE (unsolicited EXISTS push on new mail) Deploy visage site #18: Commit 85f7d33 pushed by jmars
37s main
main
37s
visage: reply-from-alias via Reply-To, real sender in From Deploy visage site #17: Commit 1ddda7f pushed by jmars
32s main
main
32s
visage: preserve the original From/Sender/Reply-To when forwarding Deploy visage site #16: Commit 03b6a99 pushed by jmars
46s main
main
46s
imapd: add COPY/MOVE and RFC 6154 SPECIAL-USE Deploy visage site #15: Commit 7740a37 pushed by jmars
34s main
main
34s
imapd: fix missing FETCH literal header on large messages Deploy visage site #14: Commit 42f6855 pushed by jmars
45s main
main
45s
imapd: add POP3 listener (RFC 1939 + CAPA/STLS) Deploy visage site #13: Commit 1de9a98 pushed by jmars
49s main
main
49s
feat: BODY[<section>] MIME part fetching + RENAME in imapd Deploy visage site #12: Commit 3b332ea pushed by jmars
38s main
main
38s
feat: implement BODYSTRUCTURE in IMAP FETCH Deploy visage site #11: Commit 800eae2 pushed by jmars
45s main
main
45s
feat: implement ENVELOPE in IMAP FETCH Deploy visage site #10: Commit 384a3d4 pushed by jmars
35s main
main
35s
fix: reject BODY[HEADER.FIELDS ...] in IMAP FETCH (empty inbox) Deploy visage site #9: Commit d87d60a pushed by jmars
50s main
main
50s
fix: crash on IMAP LIST with empty reference (imapd) Deploy visage site #8: Commit da05d4a pushed by jmars
40s main
main
40s
fix: derive forwarded From display name from original From header Deploy visage site #7: Commit 3bc1f01 pushed by jmars
48s main
main
48s
feat: local IMAP mailbox server (imapd) + TLS-first mail on both daemons Deploy visage site #6: Commit 4a31359 pushed by jmars
32s main
main
32s
fix: keep the wasm rebuild out of the CI site deploy Deploy visage site #5: Commit e9410cf pushed by jmars
34s main
main
34s
build: replace Make with dhake (hash-verified), merged into one Dhake… Deploy visage site #4: Commit f9813ac pushed by jmars
33s main
main
33s
fix: restore CJS wasm-smoke test after site package.json added type:m… Deploy visage site #3: Commit 685c440 pushed by jmars
38s main
main
38s
Deploy visage site Deploy visage site #2: Manually run by jmars
53s main
main
53s
feat: re-platform docs site onto the Fixpoint MFE/Elm stack (fixpoint… Deploy visage site #1: Commit c25c365 pushed by jmars
37s main
main
37s
feat: daemon-served admin web UI + /aliases /status endpoints Deploy GitHub Pages #11: Commit 2764fb4 pushed by jmars
21s main
main
21s
build: vendor dhall-c + datalog-dafsa as git submodules Deploy GitHub Pages #10: Commit 09d0748 pushed by jmars
17s main
main
17s
fix: benchmark charts rendered empty (x coords off-canvas) + legend s… Deploy GitHub Pages #9: Commit 3182e46 pushed by jmars
16s main
main
16s
feat: store benchmark + quantifiable prefix-search/compactness proof Deploy GitHub Pages #8: Commit 412d571 pushed by jmars
22s main
main
22s
docs: document the pre-launch security hardening Deploy GitHub Pages #7: Commit 72df549 pushed by jmars
32s main
main
32s
security: deferred hardening from pre-launch review (LOW-8..LOW-10, I… Deploy GitHub Pages #6: Commit 9865d0d pushed by jmars
20s main
main
20s
security: fix 3 HIGH + 3 MEDIUM issues found in pre-launch deep review Deploy GitHub Pages #5: Commit c11ea7b pushed by jmars
21s main
main
21s