Skip to content

Add tooltips with advanced options on hover for editor tabs #2668

Add tooltips with advanced options on hover for editor tabs

Add tooltips with advanced options on hover for editor tabs #2668

Triggered via pull request September 29, 2023 19:17
Status Success
Total duration 14m 36s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

basic.yml

on: pull_request
Compilation, Unit and Integration Tests
7m 59s
Compilation, Unit and Integration Tests
Hygiene and Layering
14m 25s
Hygiene and Layering
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Compilation, Unit and Integration Tests
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/