Skip to content
CI (misc)

Merge pull request #2275 from lf-lang/trace-plugin-property-fix #2818

Sign in to view logs

Merge pull request #2275 from lf-lang/trace-plugin-property-fix

Merge pull request #2275 from lf-lang/trace-plugin-property-fix #2818

Triggered via push May 11, 2024 06:21
@github-merge-queuegithub-merge-queue[bot]
pushed 422eb03
master
Status Success
Total duration 28s
Artifacts –

all-misc.yml

on: push
check-diff  /  check
17s
check-diff / check
check-labels  /  check
check-labels / check
building  /  ...  /  build-epoch
building / epoch / build-epoch
Matrix: building / build-toolchain
Waiting for pending jobs
Matrix: cli / test-cli
Waiting for pending jobs
Matrix: lsp / test-lsp
Waiting for pending jobs
Fit to window
Zoom out
Zoom in

Annotations

1 warning
check-diff / check
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, fkirc/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.