Skip to content
GitHub CI

Drop style if strdup(Name) fails rather than try to rename it #29

Sign in to view logs

Drop style if strdup(Name) fails rather than try to rename it

Drop style if strdup(Name) fails rather than try to rename it #29

Triggered via push November 19, 2023 15:31
@tanersenertanersener
pushed 9f4e6af
master
Status Success
Total duration 5m 9s
Artifacts –

ghci.yml

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