Skip to content
PR test

misc: Enhance and rename wget-pr script #812

Sign in to view logs

misc: Enhance and rename wget-pr script

misc: Enhance and rename wget-pr script #812

Triggered via pull request November 2, 2023 02:37
@kangtegongkangtegong
opened #1843
kangtegong:misc/get_pr
Status Success
Total duration 1m 24s
Artifacts –

pr-test.yml

on: pull_request
unit-test-with-asan
1m 14s
unit-test-with-asan
pre-commit-check
20s
pre-commit-check
Fit to window
Zoom out
Zoom in