ci

kill previous github ci runs before starting a new one (#670) #358

Sign in to view logs

Summary
Jobs
- run
Run details
- Usage
- Workflow file

Triggered via push November 30, 2023 12:36

github-merge-queue[bot]

gh-readonly-queue/main/pr-670-daea4b7f954ff1e918b9191aff40ee95c10a4db2

Status Success

Total duration 9m 11s

Artifacts –

ci.yml

on: push