Skip to content
Test Generated JSON

Drop use of Pervasives #3517

Sign in to view logs

Drop use of Pervasives

Drop use of Pervasives #3517

Triggered via push October 1, 2023 07:39
@JasonGrossJasonGross
pushed 5126e87
no-pervasives
Status Success
Total duration 2h 13m 26s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

json.yml

on: push
test-json
16s
test-json
Fit to window
Zoom out
Zoom in