Skip to content

Actions: purefunctor/purescript-analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
960 workflow runs
960 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Small updates to implicit type variables Deploy to GitHub Pages #267: Commit f0c20e0 pushed by purefunctor
1m 19s main
main
1m 19s
Small updates to implicit type variables Cargo Build & Test #1008: Commit f0c20e0 pushed by purefunctor
4m 54s main
main
4m 54s
Simplify spine to context level Cargo Build & Test #1007: Commit 24779d9 pushed by purefunctor
2m 25s core/kind-checker
core/kind-checker
2m 25s
Initial unification rules and enforce variables in spine Cargo Build & Test #1006: Commit eb127a3 pushed by purefunctor
1m 52s core/kind-checker
core/kind-checker
1m 52s
Format files Cargo Build & Test #1005: Commit 1cda739 pushed by purefunctor
2m 32s core/kind-checker
core/kind-checker
2m 32s
Move manual tests into tests directory Cargo Build & Test #1004: Commit f197dbb pushed by purefunctor
2m 7s core/kind-checker
core/kind-checker
2m 7s
Move generated tests into dedicated module Cargo Build & Test #1003: Commit 3d4abff pushed by purefunctor
2m 30s core/kind-checker
core/kind-checker
2m 30s
Create separate prim-constants crate Cargo Build & Test #1002: Commit 03b292a pushed by purefunctor
3m 30s core/kind-checker
core/kind-checker
3m 30s
Add missing file Cargo Build & Test #1001: Commit d22a125 pushed by purefunctor
2m 7s core/kind-checker
core/kind-checker
2m 7s
Add initial pretty printing for core types Cargo Build & Test #1000: Commit 2eb8bf0 pushed by purefunctor
36s core/kind-checker
core/kind-checker
36s
Use prim types for initial Constructor inference Cargo Build & Test #999: Commit e1a959a pushed by purefunctor
2m 54s core/kind-checker
core/kind-checker
2m 54s
Implement stabilization as a separate pass (#57) Deploy to GitHub Pages #266: Commit a604e0b pushed by purefunctor
1m 19s main
main
1m 19s
Implement stabilization as a separate pass (#57) Cargo Build & Test #998: Commit a604e0b pushed by purefunctor
2m 22s main
main
2m 22s
Implement stabilization as a separate pass Cargo Build & Test #997: Pull request #57 opened by purefunctor
2m 1s experimental/cst-id
experimental/cst-id
2m 1s
Rename to stabilize_module Cargo Build & Test #996: Commit 6a9fb51 pushed by purefunctor
2m 5s experimental/cst-id
experimental/cst-id
2m 5s
Rename stabilize to stabilizing Cargo Build & Test #995: Commit 9ebc50c pushed by purefunctor
2m 23s experimental/cst-id
experimental/cst-id
2m 23s
Remove dead code Cargo Build & Test #994: Commit 3aab84f pushed by purefunctor
2m 37s experimental/cst-id
experimental/cst-id
2m 37s
Clean up dev-dependencies Cargo Build & Test #993: Commit 3f9e991 pushed by purefunctor
2m 56s experimental/cst-id
experimental/cst-id
2m 56s
Rename query result types Cargo Build & Test #992: Commit 63ea297 pushed by purefunctor
1m 58s experimental/cst-id
experimental/cst-id
1m 58s
Add location for declarations, constructors, and class members (#56) Cargo Build & Test #991: Commit 7f7798c pushed by purefunctor
3m 13s query-split
query-split
3m 13s
Add location for declarations, constructors, and class members (#56) Cargo Build & Test #989: Commit 7f7798c pushed by purefunctor
2m 18s main
main
2m 18s
Add location for declarations, constructors, and class members (#56) Deploy to GitHub Pages #265: Commit 7f7798c pushed by purefunctor
1m 15s main
main
1m 15s
Add location for declarations, constructors, and class members Cargo Build & Test #988: Pull request #56 synchronize by purefunctor
1m 35s declaration-locate
declaration-locate
1m 35s
Add trace tests for resolving Cargo Build & Test #987: Commit bbaaed1 pushed by purefunctor
1m 6s declaration-locate
declaration-locate
1m 6s
Add location for declarations, constructors, and class members Cargo Build & Test #986: Pull request #56 synchronize by purefunctor
4m 35s declaration-locate
declaration-locate
4m 35s