Skip to content
Run Examples

implements dependent type in enumerative #428

Sign in to view logs

implements dependent type in enumerative

implements dependent type in enumerative #428

Triggered via pull request November 8, 2024 12:21
@Su2001Su2001
synchronize #258
Su2001:Enumerative
Status Success
Total duration 16m 49s
Artifacts –

run-examples.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in