continuous integration (staging)

test: diff of declarations in lean #8696

Sign in to view logs

Triggered via pull request June 23, 2024 06:37

adomani

opened #14046

adomani/lean_decl_diff_test

Status Cancelled

Total duration 24m 50s

Artifacts –

bors.yml

on: pull_request

Cancel Previous Runs (CI)

check workflows

summarize_declarations

Annotations

1 error

The run was canceled by @github-actions[bot].