Skip to content
Build

Fix typo in types-adts-gadts.md #4150

Sign in to view logs

Fix typo in types-adts-gadts.md

Fix typo in types-adts-gadts.md #4150

Re-run triggered September 25, 2025 08:28
@PhilippusPhilippus
#3217
j95io:patch-1
Status Success
Total duration 5m 14s
Artifacts –

build.yml

on: pull_request
build
5m 7s
build
Fit to window
Zoom out
Zoom in