Skip to content

Merge pull request 1179 from GREsau/patch-1 #2500

Merge pull request 1179 from GREsau/patch-1

Merge pull request 1179 from GREsau/patch-1 #2500

Triggered via push August 23, 2024 20:44
Status Success
Total duration 4m 4s
Artifacts

ci.yml

on: push
Matrix: build
Matrix: miri
Matrix: test
Fit to window
Zoom out
Zoom in