Skip to content
GitHub Pages CI

Replace InterfaceType with FacetType #933

Sign in to view logs

Replace InterfaceType with FacetType

Replace InterfaceType with FacetType #933

Triggered via pull request November 7, 2024 00:39
@josh11bjosh11b
synchronize #4499
josh11b:nointerface
Status Success
Total duration 40s
Artifacts –

gh_pages_ci.yaml

on: pull_request
build
32s
build
Fit to window
Zoom out
Zoom in