.github/workflows/main.yml

Add bors to project-stable-mir #2383

Sign in to view logs

Summary
Jobs
- CI
Run details
- Usage
- Workflow file

Triggered via pull request September 27, 2023 17:53

celinval

opened #1086

celinval:master

Status Success

Total duration 1m 36s

Artifacts –

main.yml

on: pull_request