CI

redid 409 (which also contains 408) #302

Sign in to view logs

Summary
Jobs
- run
Run details
- Usage
- Workflow file

Triggered via push December 16, 2023 17:10

ue71603

redo_pr_408_409

Status Success

Total duration 1m 27s

Artifacts –

ci.yml

on: push