Skip to content

Actions: fixpoint-linux/visage

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
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
docs: drop SimpleLogin framing; lead with compactness + DAFSA prefix … Deploy GitHub Pages #4: Commit b88d794 pushed by jmars
17s main
main
17s
feat: config-declared aliases are read-only via admin API Deploy GitHub Pages #3: Commit 2ec3da0 pushed by jmars
20s main
main
20s
Deploy GitHub Pages Deploy GitHub Pages #2: Manually run by jmars
20s main
main
20s
feat: GitHub Pages showcase + live in-browser wasm demo Deploy GitHub Pages #1: Commit 530574b pushed by jmars
11s main
main
11s