Skip to content

Re-enable PureScript on Linux and Windows #14809

Re-enable PureScript on Linux and Windows

Re-enable PureScript on Linux and Windows #14809

Re-run triggered February 23, 2024 07:20
Status Success
Total duration 20m 45s
Artifacts

ci.yml

on: pull_request
(macOS) Run Clippy and tests
8m 1s
(macOS) Run Clippy and tests
Check formatting and spelling
16s
Check formatting and spelling
(Linux) Run Clippy and tests
20m 34s
(Linux) Run Clippy and tests
(Windows) Run Clippy and tests
19m 6s
(Windows) Run Clippy and tests
Bundle macOS app
0s
Bundle macOS app
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Check formatting and spelling
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: bufbuild/buf-breaking-action@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Check formatting and spelling
No github_token supplied, API requests will be subject to stricter rate limiting