Skip to content
Bolts CI Verification

example of inductive definitions: transitive closure (#124) #7

Sign in to view logs

example of inductive definitions: transitive closure (#124)

example of inductive definitions: transitive closure (#124) #7

Triggered via push January 18, 2025 18:44
@vkuncakvkuncak
pushed 2c7a436
main
Status Success
Total duration 1h 47m 8s
Artifacts –

bolts-CI-verification.yml

on: push
bolts-verification
1h 47m
bolts-verification
Fit to window
Zoom out
Zoom in