Skip to content

Actions: polarity-lang/polarity

Actions

Check nix code

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix.yml
64 workflow runs
64 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add spans to patterns (#438) Check nix code #64: Commit bbc91ef pushed by BinderDavid
January 8, 2025 18:11 11m 55s main
main
January 8, 2025 18:11 11m 55s
Add hover info for individual clause (#436) Check nix code #63: Commit b60ce0a pushed by BinderDavid
January 8, 2025 15:27 12m 4s main
main
January 8, 2025 15:27 12m 4s
Fix bug in lsp did_change (#434) Check nix code #62: Commit bcbc433 pushed by BinderDavid
January 8, 2025 10:36 11m 55s main
main
January 8, 2025 10:36 11m 55s
Implement initial type erasure (#426) Check nix code #61: Commit d96b03a pushed by BinderDavid
January 8, 2025 10:14 12m 3s main
main
January 8, 2025 10:14 12m 3s
Add pol compile and ir phase to test runner (#433) Check nix code #60: Commit e83eaae pushed by timsueberkrueb
January 4, 2025 23:58 11m 46s main
main
January 4, 2025 23:58 11m 46s
Generate IR from AST (#431) Check nix code #59: Commit f63e288 pushed by timsueberkrueb
January 4, 2025 23:13 11m 42s main
main
January 4, 2025 23:13 11m 42s
Remove IR lookup tables for now (#430) Check nix code #58: Commit 7381b91 pushed by timsueberkrueb
January 4, 2025 22:18 11m 44s main
main
January 4, 2025 22:18 11m 44s
Add erased fields to ast (#429) Check nix code #57: Commit 52d2591 pushed by timsueberkrueb
January 4, 2025 22:08 12m 3s main
main
January 4, 2025 22:08 12m 3s
Prettyprint ir (#428) Check nix code #56: Commit bdf4821 pushed by timsueberkrueb
January 4, 2025 20:36 12m 9s main
main
January 4, 2025 20:36 12m 9s
Change HTML (#415) Check nix code #55: Commit ddc83a1 pushed by BinderDavid
January 2, 2025 13:25 11m 45s main
main
January 2, 2025 13:25 11m 45s
Factor out stuff from stlc case study into standard library (#422) Check nix code #54: Commit 9ab5133 pushed by BinderDavid
December 30, 2024 18:12 12m 32s main
main
December 30, 2024 18:12 12m 32s
Update codespan dependency (#424) Check nix code #53: Commit d744fb7 pushed by BinderDavid
December 29, 2024 15:31 12m 20s main
main
December 29, 2024 15:31 12m 20s
Add initial backend crate with intermediate representation (#423) Check nix code #52: Commit e679bff pushed by BinderDavid
December 20, 2024 14:01 12m 20s main
main
December 20, 2024 14:01 12m 20s
Disable fail-fast for nix matrix job (#419) Check nix code #51: Commit db306a9 pushed by BinderDavid
December 17, 2024 13:05 12m 2s main
main
December 17, 2024 13:05 12m 2s
fix libiconv missing and don't set PKG_CONFIG_PATH manually (#421) Check nix code #50: Commit eb28020 pushed by timsueberkrueb
December 16, 2024 21:44 12m 11s main
main
December 16, 2024 21:44 12m 11s
Fix nix development shell (#418) Check nix code #49: Commit 3da2812 pushed by BinderDavid
December 16, 2024 16:15 6s main
main
December 16, 2024 16:15 6s
Improve std lib (#416) Check nix code #48: Commit a6a6e78 pushed by BinderDavid
December 16, 2024 11:45 8m 50s main
main
December 16, 2024 11:45 8m 50s
Generate html (#410) Check nix code #47: Commit a8bd93b pushed by BinderDavid
December 11, 2024 15:52 9m 6s main
main
December 11, 2024 15:52 9m 6s
Update wasm-bindgen-cli to 0.2.99 (#413) Check nix code #46: Commit 4ac2542 pushed by BinderDavid
December 9, 2024 13:50 9m 6s main
main
December 9, 2024 13:50 9m 6s
Upgrade web demo and tower-lsp (#411) Check nix code #45: Commit 3a47c0e pushed by BinderDavid
December 9, 2024 13:27 9m 29s main
main
December 9, 2024 13:27 9m 29s
Point to correct location for missing arguments (#412) Check nix code #44: Commit 25dfde6 pushed by BinderDavid
December 9, 2024 12:49 8m 31s main
main
December 9, 2024 12:49 8m 31s
Fix #403 (#404) Check nix code #43: Commit 3dbc108 pushed by BinderDavid
December 7, 2024 00:41 8m 33s main
main
December 7, 2024 00:41 8m 33s
Add text to encoding examples (#407) Check nix code #42: Commit b2c5430 pushed by BinderDavid
December 4, 2024 17:34 8m 33s main
main
December 4, 2024 17:34 8m 33s
Improve (co)match elab docs (#402) Check nix code #41: Commit 41d9dce pushed by timsueberkrueb
December 4, 2024 12:53 8m 29s main
main
December 4, 2024 12:53 8m 29s
Askama for HTML (#399) Check nix code #40: Commit 3c7a0a6 pushed by BinderDavid
December 3, 2024 20:41 8m 40s main
main
December 3, 2024 20:41 8m 40s