Skip to content

chore: Merge branch dev into master #412

chore: Merge branch dev into master

chore: Merge branch dev into master #412

Triggered via pull request October 7, 2023 10:51
@jmir1jmir1
opened #1145
dev
Status Success
Total duration 16m 41s
Artifacts

build_pull_request.yml

on: pull_request
Fit to window
Zoom out
Zoom in