Skip to content
Continuous Integration

chore: add Mac and homebrew to CI #71

Sign in to view logs

chore: add Mac and homebrew to CI

chore: add Mac and homebrew to CI #71

Triggered via pull request April 19, 2024 13:33
@david-christiansendavid-christiansen
opened #15
ci-mac-homebrew
Status Failure
Total duration 4m 10s
Artifacts –

ci.yml

on: pull_request
Matrix: Build and test
Fit to window
Zoom out
Zoom in

Annotations

16 errors and 7 warnings
Build and test (leanprover/lean4:4.3.0, macos-latest, brew install elan-init )
Process completed with exit code 1.
Build and test (leanprover/lean4:4.6.0, macos-latest, curl https://raw.githubusercontent.com/lean...
The job was canceled because "leanprover_lean4_4_3_0__2" failed.
Build and test (leanprover/lean4:4.7.0, macos-latest, brew install elan-init )
The job was canceled because "leanprover_lean4_4_3_0__2" failed.
Build and test (leanprover/lean4:nightly-2024-04-07, macos-latest, brew install elan-init )
The job was canceled because "leanprover_lean4_4_3_0__2" failed.
Build and test (leanprover/lean4:4.6.0, macos-latest, brew install elan-init )
The job was canceled because "leanprover_lean4_4_3_0__2" failed.
Build and test (leanprover/lean4:4.7.0, macos-latest, curl https://raw.githubusercontent.com/lean...
The job was canceled because "leanprover_lean4_4_3_0__2" failed.
Build and test (leanprover/lean4:4.5.0, macos-latest, curl https://raw.githubusercontent.com/lean...
The job was canceled because "leanprover_lean4_4_3_0__2" failed.
Build and test (leanprover/lean4:nightly-2024-04-07, macos-latest, curl https://raw.githubusercon...
The job was canceled because "leanprover_lean4_4_3_0__2" failed.
Build and test (leanprover/lean4:4.3.0, macos-latest, curl https://raw.githubusercontent.com/lean...
The job was canceled because "leanprover_lean4_4_3_0__2" failed.
Build and test (leanprover/lean4:4.3.0, macos-latest, curl https://raw.githubusercontent.com/lean...
The operation was canceled.
Build and test (leanprover/lean4:4.5.0, macos-latest, brew install elan-init )
The job was canceled because "leanprover_lean4_4_3_0__2" failed.
Build and test (leanprover/lean4:4.5.0, macos-latest, brew install elan-init )
The operation was canceled.
Build and test (leanprover/lean4:4.4.0, macos-latest, curl https://raw.githubusercontent.com/lean...
The job was canceled because "leanprover_lean4_4_3_0__2" failed.
Build and test (leanprover/lean4:4.4.0, macos-latest, curl https://raw.githubusercontent.com/lean...
The operation was canceled.
Build and test (leanprover/lean4:4.4.0, macos-latest, brew install elan-init )
The job was canceled because "leanprover_lean4_4_3_0__2" failed.
Build and test (leanprover/lean4:4.4.0, macos-latest, brew install elan-init )
The operation was canceled.
Build and test (leanprover/lean4:4.3.0, ubuntu-latest, curl https://raw.githubusercontent.com/lea...
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Build and test (leanprover/lean4:4.5.0, ubuntu-latest, curl https://raw.githubusercontent.com/lea...
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Build and test (leanprover/lean4:4.7.0, ubuntu-latest, curl https://raw.githubusercontent.com/lea...
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Build and test (leanprover/lean4:4.6.0, ubuntu-latest, curl https://raw.githubusercontent.com/lea...
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Build and test (leanprover/lean4:nightly-2024-04-07, ubuntu-latest, curl https://raw.githubuserco...
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Build and test (leanprover/lean4:4.4.0, ubuntu-latest, curl https://raw.githubusercontent.com/lea...
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Build and test (leanprover/lean4:4.3.0, macos-latest, brew install elan-init )
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.