Skip to content

Actions: fixpoint-linux/dhall-c

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
44 workflow runs
44 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
nullary union alternatives: < File | Dir > constructor syntax Deploy dhall-c site #6: Commit 59fc92c pushed by jmars
31s master
master
31s
pages build and deployment pages-build-deployment #22: by jmars
51s master
master
51s
Union constructor: normalize + typecheck field access on a union type Deploy dhall-c site #5: Commit 43ac91f pushed by jmars
42s master
master
42s
pages build and deployment pages-build-deployment #21: by jmars
49s master
master
49s
Add dhall_mod.zig module facade for sibling-relative imports Deploy dhall-c site #4: Commit 98845f7 pushed by jmars
30s master
master
30s
pages build and deployment pages-build-deployment #20: by jmars
49s master
master
49s
zig: full dhall-c interpreter C→Zig migration (differential-verified) Deploy dhall-c site #3: Commit 3bdf479 pushed by jmars
33s master
master
33s
pages build and deployment pages-build-deployment #19: by jmars
48s master
master
48s
fix: playground shows a single editor on page refresh Deploy dhall-c site #2: Commit 74bf72c pushed by jmars
29s master
master
29s
pages build and deployment pages-build-deployment #18: by jmars
1m 17s master
master
1m 17s
pages build and deployment pages-build-deployment #17: by jmars
49s master
master
49s
site: re-platform onto fixpoint design components (datalog-dafsa styl… Deploy dhall-c site #1: Commit e07e40f pushed by jmars
39s master
master
39s
fix: parse chained top-level lets (let a = v1 let b = v2 in body) Deploy GitHub Pages #16: Commit 07a069c pushed by jmars
23s master
master
23s
pages build and deployment pages-build-deployment #16: by jmars
40s master
master
40s
build: rebuild binaries after {=} typechecker fix (bae0e08) Deploy GitHub Pages #15: Commit 1495e63 pushed by jmars
22s master
master
22s
pages build and deployment pages-build-deployment #15: by jmars
41s master
master
41s
typecheck: accept partial union literals and resolve type aliases in … Deploy GitHub Pages #14: Commit a7451a2 pushed by jmars
21s master
master
21s
pages build and deployment pages-build-deployment #14: by jmars
48s master
master
48s
typecheck: accept partial union literals and resolve type aliases in … Deploy GitHub Pages #13: Commit f7fa269 pushed by jmars
19s master
master
19s
pages build and deployment pages-build-deployment #13: by jmars
49s master
master
49s
Merge demos: live demo now uses the CodeMirror editor with syntax hig… Deploy GitHub Pages #12: Commit b44d7c2 pushed by jmars
21s master
master
21s
pages build and deployment pages-build-deployment #12: by jmars
39s master
master
39s
Cache-bust LSP demo assets so browsers fetch the corrected lsp-demo.js Deploy GitHub Pages #11: Commit 57964c3 pushed by jmars
21s master
master
21s
pages build and deployment pages-build-deployment #11: by jmars
38s master
master
38s
Fix LSP lint getAnnotations signature: CM passes (text, updateLinting… Deploy GitHub Pages #10: Commit 2e2b3a0 pushed by jmars
18s master
master
18s