Skip to content

Actions: polarity-lang/polarity

Actions

Deploy Web Demo

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
145 workflow runs
145 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Implement initial type erasure (#426) Deploy Web Demo #127: Commit d96b03a pushed by BinderDavid
January 8, 2025 10:14 4m 30s main
main
January 8, 2025 10:14 4m 30s
Add pol compile and ir phase to test runner (#433) Deploy Web Demo #126: Commit e83eaae pushed by timsueberkrueb
January 4, 2025 23:58 4m 24s main
main
January 4, 2025 23:58 4m 24s
Generate IR from AST (#431) Deploy Web Demo #125: Commit f63e288 pushed by timsueberkrueb
January 4, 2025 23:13 4m 27s main
main
January 4, 2025 23:13 4m 27s
Remove IR lookup tables for now (#430) Deploy Web Demo #124: Commit 7381b91 pushed by timsueberkrueb
January 4, 2025 22:18 4m 35s main
main
January 4, 2025 22:18 4m 35s
Add erased fields to ast (#429) Deploy Web Demo #123: Commit 52d2591 pushed by timsueberkrueb
January 4, 2025 22:08 4m 53s main
main
January 4, 2025 22:08 4m 53s
Prettyprint ir (#428) Deploy Web Demo #122: Commit bdf4821 pushed by timsueberkrueb
January 4, 2025 20:36 4m 26s main
main
January 4, 2025 20:36 4m 26s
Change HTML (#415) Deploy Web Demo #121: Commit ddc83a1 pushed by BinderDavid
January 2, 2025 13:25 4m 55s main
main
January 2, 2025 13:25 4m 55s