Skip to content

Actions: purefunctor/purescript-analyzer

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump pnpm/action-setup from 4 to 5 Cargo Build & Test #1320: Pull request #99 opened by dependabot bot
3m 49s dependabot/github_actions/pnpm/action-setup-5
dependabot/github_actions/pnpm/action-setup-5
3m 49s
Bump pnpm/action-setup from 4 to 5 Cargo Build & Test #1319: Commit 840f9a0 pushed by dependabot bot
2m 32s dependabot/github_actions/pnpm/action-setup-5
dependabot/github_actions/pnpm/action-setup-5
2m 32s
Bump actions/deploy-pages from 4 to 5 Cargo Build & Test #1318: Pull request #98 opened by dependabot bot
2m 23s dependabot/github_actions/actions/deploy-pages-5
dependabot/github_actions/actions/deploy-pages-5
2m 23s
Bump codecov/codecov-action from 5 to 6 Cargo Build & Test #1317: Pull request #97 opened by dependabot bot
2m 17s dependabot/github_actions/codecov/codecov-action-6
dependabot/github_actions/codecov/codecov-action-6
2m 17s
Bump actions/deploy-pages from 4 to 5 Cargo Build & Test #1316: Commit e118696 pushed by dependabot bot
2m 51s dependabot/github_actions/actions/deploy-pages-5
dependabot/github_actions/actions/deploy-pages-5
2m 51s
Bump codecov/codecov-action from 5 to 6 Cargo Build & Test #1315: Commit 524b333 pushed by dependabot bot
2m 35s dependabot/github_actions/codecov/codecov-action-6
dependabot/github_actions/codecov/codecov-action-6
2m 35s
github_actions in /. - Update #1302918418 Dependabot Updates #11: by dependabot bot
48s main
main
48s
Abandon locally nameless type checking (#95) Deploy to GitHub Pages #324: Commit 3e68766 pushed by purefunctor
1m 55s main
main
1m 55s
Abandon locally nameless type checking (#95) Cargo Build & Test #1314: Commit 3e68766 pushed by purefunctor
5m 55s main
main
5m 55s
Full type checker implementation Cargo Build & Test #1313: Pull request #95 synchronize by purefunctor
5m 5s relentless-type-checking
relentless-type-checking
5m 5s
Update references from checking2 to checking Cargo Build & Test #1312: Commit ee0020b pushed by purefunctor
4m 46s relentless-type-checking
relentless-type-checking
4m 46s
Full type checker implementation Cargo Build & Test #1311: Pull request #95 synchronize by purefunctor
3m 59s relentless-type-checking
relentless-type-checking
3m 59s
Preserve function subtyping in application-based functions Cargo Build & Test #1310: Commit 0fe860c pushed by purefunctor
3m 50s relentless-type-checking
relentless-type-checking
3m 50s
Full type checker implementation Cargo Build & Test #1309: Pull request #95 synchronize by purefunctor
4m 20s relentless-type-checking
relentless-type-checking
4m 20s
Preserve function subtyping in application-based functions Cargo Build & Test #1308: Commit 6350600 pushed by purefunctor
3m 32s relentless-type-checking
relentless-type-checking
3m 32s
Full type checker implementation Cargo Build & Test #1307: Pull request #95 synchronize by purefunctor
3m 9s relentless-type-checking
relentless-type-checking
3m 9s
Use kind elaboration to construct delegate constraints Cargo Build & Test #1306: Commit 65a178f pushed by purefunctor
3m 18s relentless-type-checking
relentless-type-checking
3m 18s
Full type checker implementation Cargo Build & Test #1305: Pull request #95 synchronize by purefunctor
4m 3s relentless-type-checking
relentless-type-checking
4m 3s
Fix clippy lints Cargo Build & Test #1304: Commit 17ef3a7 pushed by purefunctor
3m 51s relentless-type-checking
relentless-type-checking
3m 51s
Cargo Build & Test Cargo Build & Test #1303: by purefunctor
7m 23s relentless-type-checking
relentless-type-checking
7m 23s
Full type checker implementation Cargo Build & Test #1302: Pull request #95 synchronize by purefunctor
7m 6s relentless-type-checking
relentless-type-checking
7m 6s
Implement name-based type checker Cargo Build & Test #1301: Pull request #96 synchronize by purefunctor
4m 11s justin/name-based-checking
justin/name-based-checking
4m 11s
Fix expansion for discovered synonym applications Cargo Build & Test #1300: Commit 1a2ce37 pushed by purefunctor
3m 8s justin/name-based-checking
justin/name-based-checking
3m 8s
Implement name-based type checker Cargo Build & Test #1299: Pull request #96 synchronize by purefunctor
4m 16s justin/name-based-checking
justin/name-based-checking
4m 16s
Fix expansion for discovered synonym applications Cargo Build & Test #1298: Commit 156763f pushed by purefunctor
3m 19s justin/name-based-checking
justin/name-based-checking
3m 19s