Skip to content
ci

Revert "Restore user's UI options when switching tabs" #286

Sign in to view logs

Revert "Restore user's UI options when switching tabs"

Revert "Restore user's UI options when switching tabs" #286

Triggered via pull request May 31, 2024 11:36
@glepnirglepnir
opened #457
revert-455-fix/restore_user_ui
Status Success
Total duration 21s
Artifacts –

ci.yml

on: pull_request
lint
3s
lint
pandoc to vimdoc
13s
pandoc to vimdoc
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
lint
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, JohnnyMorganz/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
lint
The following actions uses node12 which is deprecated and will be forced to run on node16: JohnnyMorganz/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
lint
No version provided, or version provided is malformed, using latest release version. We recommend pinning the version explicitly to handle changes in formatting
pandoc to vimdoc
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, stefanzweifel/git-auto-commit-action@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.