Skip to content
Continuous integration

Rename symbols to idents (#1539) #4019

Sign in to view logs

Rename symbols to idents (#1539)

Rename symbols to idents (#1539) #4019

Triggered via push August 22, 2023 02:52
@github-merge-queuegithub-merge-queue[bot]
pushed 63e2c1d
master
Status Success
Total duration 26m 1s
Artifacts –

continuous-integration.yml

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