Skip to content

ppx: rename [@json.as] into [@json.name] #95

ppx: rename [@json.as] into [@json.name]

ppx: rename [@json.as] into [@json.name] #95

Re-run triggered October 4, 2024 06:30
Status Success
Total duration 14m 47s
Artifacts

main.yml

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