ci

Merge pull request #721 from jonjohnsonjr/vendored #2207

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push October 10, 2023 18:44

main

Status Success

Total duration 10m 41s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yaml

on: push