Skip to content

Actions: purefunctor/purescript-analyzer

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
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