Skip to content
Run Examples

implements dependent type in enumerative #430

Sign in to view logs

implements dependent type in enumerative

implements dependent type in enumerative #430

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

run-examples.yml

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