Skip to content

Convert to extension types #41

Convert to extension types

Convert to extension types #41

Triggered via pull request August 11, 2023 14:25
@mit-mitmit-mit
synchronize #99
exttypes
Status Success
Total duration 40s
Artifacts

build.yml

on: pull_request
Fit to window
Zoom out
Zoom in