Skip to content
Bolts CI with admit VCs

example for inductive definitions: reflexive transitive closure #106

Sign in to view logs

example for inductive definitions: reflexive transitive closure

example for inductive definitions: reflexive transitive closure #106

Triggered via pull request January 18, 2025 15:10
@vkuncakvkuncak
opened #123
vk/inductive
Status Cancelled
Total duration 38m 52s
Artifacts –

bolts-CI.yml

on: pull_request
bolts-admit-vcs
38m 43s
bolts-admit-vcs
fail_if_pull_request_is_draft
0s
fail_if_pull_request_is_draft
Fit to window
Zoom out
Zoom in

Annotations

2 errors
bolts-admit-vcs
The run was canceled by @vkuncak.
bolts-admit-vcs
The operation was canceled.