Skip to content

Build TypeTheory

Build TypeTheory #182

Triggered via schedule January 29, 2024 03:07
Status Success
Total duration 4m 28s
Artifacts

build-typetheory.yml

on: schedule
Matrix: build-typetheory
Fit to window
Zoom out
Zoom in

Annotations

14 warnings
Build with 8.16
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 with 8.15
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 with latest
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 with dev
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 with dev
The '%' scope delimiter in 'Arguments' commands is deprecated, use
Build with dev
Declaring arbitrary terms as hints is fragile; it is recommended to
Build with dev
Declaring arbitrary terms as hints is fragile; it is recommended to
Build with dev
Overwriting previous delimiting key cat in scope cat
Build with dev
Overwriting previous delimiting key cat in scope cat
Build with dev
Overwriting previous delimiting key cat in scope cat
Build with dev
Overwriting previous delimiting key cat in scope cat
Build with dev
Overwriting previous delimiting key cat in scope cat
Build with dev
Overwriting previous delimiting key cat in scope cat
Build with dev
Overwriting previous delimiting key cat in scope cat