Build, Test, and Benchmark

Build, Test, and Benchmark #5

# to view logs

Manually triggered February 27, 2024 13:11

knisht

sized-inference

Status Success

Total duration 37m 52s

Artifacts 1

test.yml

on: workflow_dispatch

interaction-latex-html

Annotations

5 warnings

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: haskell-actions/setup@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

interaction-latex-html

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: haskell-actions/setup@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: haskell-actions/setup@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

stdlib-test

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: haskell-actions/setup@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: haskell-actions/setup@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Artifacts

Produced during runtime

Name	Size
agda-Linux-ca9fe976faa4143b5cba4dbc687c3911f5463a0c Expired	240 MB