Skip to content
GitHub CI

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

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 #48

Triggered via push November 8, 2023 21:09
@astiobastiob
pushed 9f4e6af
master
Status Success
Total duration 3m 46s
Artifacts –

ghci.yml

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