Skip to content
Run Examples

implements dependent type in enumerative #429

Sign in to view logs

implements dependent type in enumerative

implements dependent type in enumerative #429

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

run-examples.yml

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