Skip to content
Build project

Make WindowIndex hashable to ensure extension manager works correctly #546

Sign in to view logs

Make WindowIndex hashable to ensure extension manager works correctly

Make WindowIndex hashable to ensure extension manager works correctly #546

Triggered via push July 28, 2023 15:42
@MaddyGuthridgeMaddyGuthridge
pushed f24eda0
miguel-global-indexes
Status Success
Total duration 35s
Artifacts 1

build.yml

on: push
Build
25s
Build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
UniversalController Expired
703 KB