Skip to content

Actions: purefunctor/purescript-analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,197 workflow runs
1,197 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