Skip to content

Rename directory by removing 'example' prefix. #1319

Rename directory by removing 'example' prefix.

Rename directory by removing 'example' prefix. #1319

Triggered via push September 1, 2023 16:05
Status Success
Total duration 7m 39s
Artifacts

pr-coverage.yml

on: push
Build and tests with coverage
7m 24s
Build and tests with coverage
Fit to window
Zoom out
Zoom in