Skip to content
Push

chore: add editors config dirs to gitignore #29015

Sign in to view logs

chore: add editors config dirs to gitignore

chore: add editors config dirs to gitignore #29015

Triggered via pull request May 27, 2025 07:46
@xepozzxepozz
synchronize #18669
xepozz:gitignore
Status Success
Total duration 40m 17s
Artifacts 1

push.yml

on: pull_request
LINUX_X32_DEBUG_ZTS
12m 14s
LINUX_X32_DEBUG_ZTS
WINDOWS_X64_ZTS
31m 17s
WINDOWS_X64_ZTS
BENCHMARKING
17m 26s
BENCHMARKING
FREEBSD
13m 6s
FREEBSD
Matrix: LINUX_X64
Matrix: MACOS_DEBUG_NTS
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
profiles Expired
9.37 MB
sha256:fd4d1bfaa68ce391b49573104778d2c6fd62337a830e0d777dd74a027596cdb3