Skip to content

Actions: purefunctor/purescript-analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,193 workflow runs
1,193 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve constraint generalisation algorithm
Deploy to GitHub Pages #320: Commit 547286b pushed by purefunctor
1m 42s main
Type checker observability (#85)
Cargo Build & Test #1175: Commit 320dd2f pushed by purefunctor
3m 39s main
Type checker observability (#85)
Deploy to GitHub Pages #319: Commit 320dd2f pushed by purefunctor
1m 49s main
Observability
Cargo Build & Test #1174: Pull request #85 synchronize by purefunctor
Observability
Cargo Build & Test #1172: Pull request #85 synchronize by purefunctor
Observability
Cargo Build & Test #1170: Pull request #85 opened by purefunctor
Add .gitattributes
Cargo Build & Test #1168: Commit 279553c pushed by purefunctor
2m 53s main
Add .gitattributes
Deploy to GitHub Pages #318: Commit 279553c pushed by purefunctor
1m 27s main
Embed kind for bound variables (#82)
Deploy to GitHub Pages #317: Commit a95a16b pushed by purefunctor
1m 22s main
Embed kind for bound variables (#82)
Cargo Build & Test #1167: Commit a95a16b pushed by purefunctor
2m 14s main
Fix operators bound to constrained types
Deploy to GitHub Pages #316: Commit a26622f pushed by purefunctor
1m 35s main
Fix operators bound to constrained types
Cargo Build & Test #1164: Commit a26622f pushed by purefunctor
2m 48s main
Implement instance derivation (#81)
Deploy to GitHub Pages #315: Commit 3fb223f pushed by purefunctor
1m 46s main
Implement instance derivation (#81)
Cargo Build & Test #1163: Commit 3fb223f pushed by purefunctor
3m 41s main