Skip to content
Delete deployments for closed pull requests

[#1928] Fix tooltip zIndex such that it doesn't occlude next file title #247

Sign in to view logs

[#1928] Fix tooltip zIndex such that it doesn't occlude next file title

[#1928] Fix tooltip zIndex such that it doesn't occlude next file title #247

Triggered via pull request November 8, 2023 01:38
@chan-j-dchan-j-d
closed #2057
Status Success
Total duration 23s
Artifacts –

delete-deploy.yml

on: pull_request_target
Delete pull request deployments
14s
Delete pull request deployments
Fit to window
Zoom out
Zoom in