example for inductive definitions: reflexive transitive closure #107
Triggered via pull request
January 18, 2025 15:41
vkuncak
Status
Cancelled
Total duration
8m 17s
Artifacts
–
bolts-CI.yml
on: pull_request
bolts-admit-vcs
8m 9s
fail_if_pull_request_is_draft
0s
Annotations
2 errors
|
bolts-admit-vcs
The run was canceled by @vkuncak.
|
|
bolts-admit-vcs
The operation was canceled.
|