Skip to content
Semgrep

Update APIs: server-imposed deadline expiry and non-blocking Update Poll #2015

Sign in to view logs

Update APIs: server-imposed deadline expiry and non-blocking Update Poll

Update APIs: server-imposed deadline expiry and non-blocking Update Poll #2015

Triggered via pull request November 15, 2023 23:13
@dandavisondandavison
synchronize #5114
dandavison:oss-1754-pollworkflowexecutionupdate
Status Success
Total duration 18s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

semgrep.yml

on: pull_request
Scan
11s
Scan
Fit to window
Zoom out
Zoom in