Skip to content

Actions: fixpoint-linux/dhall-c

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
36 workflow runs
36 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: 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
pages build and deployment pages-build-deployment #10: by jmars
44s master
master
44s
Replace fragile overlay editor with a real CodeMirror editor hooked t… Deploy GitHub Pages #9: Commit 6288f19 pushed by jmars
48s master
master
48s
pages build and deployment pages-build-deployment #9: by jmars
47s master
master
47s
Add syntax highlighting to the browser LSP demo (Dhall tokenizer) Deploy GitHub Pages #8: Commit 16a095d pushed by jmars
18s master
master
18s
pages build and deployment pages-build-deployment #8: by jmars
44s master
master
44s
Add LSP server to the browser: wasm dhall-lsp demo with live diagnost… Deploy GitHub Pages #7: Commit 8f371b2 pushed by jmars
21s master
master
21s
pages build and deployment pages-build-deployment #7: by jmars
39s master
master
39s
Add a Language Server Protocol (LSP) server: diagnostics + hover for … Deploy GitHub Pages #6: Commit a07661f pushed by jmars
18s master
master
18s