Skip to content

Actions: polarity-lang/polarity

Actions

Deploy Web Demo

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
152 workflow runs
152 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove Context trait (#462) Deploy Web Demo #152: Commit b5449d4 pushed by BinderDavid
January 23, 2025 12:04 5m 25s main
main
January 23, 2025 12:04 5m 25s
Fix nix build and evaluate nix on all branches (#463) Deploy Web Demo #151: Commit b8d17e4 pushed by BinderDavid
January 23, 2025 11:55 5m 34s main
main
January 23, 2025 11:55 5m 34s
Refactor env (#461) Deploy Web Demo #150: Commit 2fcf3e4 pushed by timsueberkrueb
January 22, 2025 17:38 4m 40s main
main
January 22, 2025 17:38 4m 40s
Simplify BindContext trait (#460) Deploy Web Demo #149: Commit 758c454 pushed by BinderDavid
January 22, 2025 16:37 4m 30s main
main
January 22, 2025 16:37 4m 30s
Refactor GenericContext (#459) Deploy Web Demo #148: Commit bb4270d pushed by timsueberkrueb
January 22, 2025 16:26 4m 30s main
main
January 22, 2025 16:26 4m 30s
Improve error messages from conversion checking (#457) Deploy Web Demo #147: Commit 524df63 pushed by BinderDavid
January 22, 2025 14:57 4m 29s main
main
January 22, 2025 14:57 4m 29s
Every GenericCtx stores binders (#458) Deploy Web Demo #146: Commit a9861b7 pushed by BinderDavid
January 22, 2025 13:46 4m 25s main
main
January 22, 2025 13:46 4m 25s
Add binder names to LevelCtx (#454) Deploy Web Demo #145: Commit 16b1491 pushed by BinderDavid
January 22, 2025 10:05 4m 32s main
main
January 22, 2025 10:05 4m 32s
Rewrite hover info (#456) Deploy Web Demo #144: Commit 8d3af22 pushed by BinderDavid
January 22, 2025 09:58 4m 26s main
main
January 22, 2025 09:58 4m 26s
Eliminate codespan dependency (#425) Deploy Web Demo #143: Commit 6ba4bcb pushed by BinderDavid
January 20, 2025 11:58 4m 23s main
main
January 20, 2025 11:58 4m 23s
Small changes in elaborator (#453) Deploy Web Demo #142: Commit 0822cc0 pushed by BinderDavid
January 17, 2025 16:09 4m 27s main
main
January 17, 2025 16:09 4m 27s
Fix broken tests (#452) Deploy Web Demo #141: Commit 6a36511 pushed by timsueberkrueb
January 16, 2025 18:46 4m 32s main
main
January 16, 2025 18:46 4m 32s
Add TypeCtx to conversion checking constraints (#450) Deploy Web Demo #140: Commit ab3533a pushed by BinderDavid
January 16, 2025 18:28 4m 35s main
main
January 16, 2025 18:28 4m 35s
Fix var bind (#449) Deploy Web Demo #139: Commit 2e37373 pushed by BinderDavid
January 16, 2025 18:22 4m 23s main
main
January 16, 2025 18:22 4m 23s
Simplify index unification (#448) Deploy Web Demo #138: Commit dbc8b9e pushed by BinderDavid
January 16, 2025 12:37 4m 31s main
main
January 16, 2025 12:37 4m 31s
Simplify conversion checking 2 (#447) Deploy Web Demo #137: Commit 9e3f91e pushed by timsueberkrueb
January 15, 2025 16:36 4m 57s main
main
January 15, 2025 16:36 4m 57s
Simplify index unification (#446) Deploy Web Demo #136: Commit d49d7d8 pushed by BinderDavid
January 15, 2025 16:36 4m 22s main
main
January 15, 2025 16:36 4m 22s
Simplify conversion checking (#445) Deploy Web Demo #135: Commit a9a9c4f pushed by BinderDavid
January 15, 2025 15:37 4m 23s main
main
January 15, 2025 15:37 4m 23s
Separate unification for conversion checking from index unification (… Deploy Web Demo #134: Commit dc6cb8f pushed by BinderDavid
January 15, 2025 15:12 4m 32s main
main
January 15, 2025 15:12 4m 32s
Remove type cst (#440) Deploy Web Demo #133: Commit 1fc5959 pushed by timsueberkrueb
January 15, 2025 12:24 4m 30s main
main
January 15, 2025 12:24 4m 30s
Compute cross module diagnostics (#437) Deploy Web Demo #132: Commit 16e1ef6 pushed by BinderDavid
January 15, 2025 11:52 4m 32s main
main
January 15, 2025 11:52 4m 32s
Prevent editor from grapping focus (#441) Deploy Web Demo #131: Commit 7df0e1d pushed by timsueberkrueb
January 11, 2025 20:43 4m 38s main
main
January 11, 2025 20:43 4m 38s
Add spans to patterns (#438) Deploy Web Demo #130: Commit bbc91ef pushed by BinderDavid
January 8, 2025 18:11 4m 34s main
main
January 8, 2025 18:11 4m 34s
Add hover info for individual clause (#436) Deploy Web Demo #129: Commit b60ce0a pushed by BinderDavid
January 8, 2025 15:27 4m 31s main
main
January 8, 2025 15:27 4m 31s
Fix bug in lsp did_change (#434) Deploy Web Demo #128: Commit bcbc433 pushed by BinderDavid
January 8, 2025 10:36 4m 44s main
main
January 8, 2025 10:36 4m 44s