Skip to content
cleanup caches by a branch

Rename inductive constructor #197

Sign in to view logs

Rename inductive constructor

Rename inductive constructor #197

Triggered via pull request July 18, 2023 11:50
@paulcadmanpaulcadman
closed #2255
rename-inductive-constructor
Status Success
Total duration 16s
Artifacts –

clean-up-cache.yaml

on: pull_request
cleanup
6s
cleanup
Fit to window
Zoom out
Zoom in