Skip to content
Continuous integration

Rename the typ field in JSON documentation to type (#1495) #3858

Sign in to view logs

Rename the typ field in JSON documentation to type (#1495)

Rename the typ field in JSON documentation to type (#1495) #3858

Triggered via push August 3, 2023 18:11
@github-merge-queuegithub-merge-queue[bot]
pushed 88ede26
master
Status Success
Total duration 42m 7s
Artifacts –

continuous-integration.yml

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