Skip to content
CI

Add optional title attribute to glossary #388

Sign in to view logs

Add optional title attribute to glossary

Add optional title attribute to glossary #388

Triggered via push February 24, 2024 22:51
@sergiodxasergiodxa
pushed bc937e7
main
Status Success
Total duration 33s
Artifacts –

ci.yml

on: push
Build
19s
Build
Typechecker
21s
Typechecker
Unit and Integration Tests
16s
Unit and Integration Tests
Linter
26s
Linter
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
Unit and Integration Tests
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Build
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Typechecker
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Linter
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.