Skip to content
Matrix

Matrix build to test whether Agda 2.6.4.1 needs more heap than 2.6.4 #1

Sign in to view logs

Matrix build to test whether Agda 2.6.4.1 needs more heap than 2.6.4

Matrix build to test whether Agda 2.6.4.1 needs more heap than 2.6.4 #1

Triggered via push January 30, 2024 08:06
@andreasabelandreasabel
pushed 665c2e6
ci-matrix
Status Failure
Total duration 40m 54s
Artifacts –

matrix.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

6 errors and 8 warnings
build (2.6.4.1, 4.5G)
Process completed with exit code 251.
build (2.6.4.1, 4G)
Process completed with exit code 251.
build (2.6.4.1, 3.5G)
Process completed with exit code 251.
build (2.6.4, 4G)
Process completed with exit code 251.
build (2.6.4, 4.5G)
Process completed with exit code 251.
build (2.6.4, 3.5G)
Process completed with exit code 251.
build (2.6.4.1, 4.5G)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: wenkokke/setup-agda@latest. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (2.6.4.1, 4G)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: wenkokke/setup-agda@latest. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (2.6.4.1, 3.5G)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: wenkokke/setup-agda@latest. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (2.6.4.1, 5G)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: wenkokke/setup-agda@latest. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (2.6.4, 4G)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: wenkokke/setup-agda@latest. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (2.6.4, 4.5G)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: wenkokke/setup-agda@latest. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (2.6.4, 3.5G)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: wenkokke/setup-agda@latest. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (2.6.4, 5G)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: wenkokke/setup-agda@latest. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.