Skip to content
GitHub Pages CI

Replace InterfaceType with FacetType #931

Sign in to view logs

Replace InterfaceType with FacetType

Replace InterfaceType with FacetType #931

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

gh_pages_ci.yaml

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