Skip to content

Merge pull request #265 from de-vri-es/fix-unreachable-code-warning #1951

Merge pull request #265 from de-vri-es/fix-unreachable-code-warning

Merge pull request #265 from de-vri-es/fix-unreachable-code-warning #1951

Triggered via push April 11, 2024 18:42
Status Success
Total duration 1m 57s
Artifacts

ci.yml

on: push
Minimal versions
14s
Minimal versions
Documentation
17s
Documentation
Miri
54s
Miri
Matrix: test
Fit to window
Zoom out
Zoom in