Merge pull request #1150 from xuwei-k/update-github-actions-page #400

Sign in to view logs

Summary
Jobs
- test
Run details
- Usage
- Workflow file

Triggered via push June 25, 2023 16:54

eed3si9n

develop

Status Success

Total duration 11m 38s

Artifacts –

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

ci.yml

on: push