example of inductive definitions: transitive closure #108
Triggered via pull request
January 18, 2025 15:48
vkuncak
Status
Success
Total duration
1h 31m 44s
Artifacts
–
bolts-CI.yml
on: pull_request
bolts-admit-vcs
1h 31m
fail_if_pull_request_is_draft
0s