Skip to content

Merge pull request #83 from DLR-FT/dev/wucke13-reorg-examples #158

Merge pull request #83 from DLR-FT/dev/wucke13-reorg-examples

Merge pull request #83 from DLR-FT/dev/wucke13-reorg-examples #158

Triggered via push July 20, 2023 14:06
Status Success
Total duration 1m 59s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

checks.yml

on: push
Run nix flake check
37s
Run nix flake check
Matrix: impure-checks
Fit to window
Zoom out
Zoom in