Skip to content
This repository has been archived by the owner on Dec 11, 2023. It is now read-only.

Merge feature/docker into dev #126

Merge feature/docker into dev

Merge feature/docker into dev #126

Triggered via pull request July 13, 2023 14:28
Status Success
Total duration 4m 51s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

rust.yml

on: pull_request
Fit to window
Zoom out
Zoom in