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

Merge dev into main for Demo 4 #796

Merge dev into main for Demo 4

Merge dev into main for Demo 4 #796

Triggered via pull request September 29, 2023 05:47
@JacoMalan1JacoMalan1
synchronize #230
dev
Status Success
Total duration 8m 40s
Artifacts

rust.yml

on: pull_request
build
4m 1s
build
ubuntu / stable / coverage
6m 4s
ubuntu / stable / coverage
Fit to window
Zoom out
Zoom in