chore: bump to nightly-2025-12-13 #5649
leanprover-community-bot-assistantbuild.yml
on: push
Annotations
15 errors
|
Lint style
Canceling since a higher priority waiting request for continuous integration-refs/heads/nightly-testing- exists
|
|
Lint style
The operation was canceled.
|
|
Build
Canceling since a higher priority waiting request for continuous integration-refs/heads/nightly-testing- exists
|
|
Build
`Acc.ndrecC` has already been declared
|
|
Build
a non-private declaration `Acc.rec_eq_recC` has already been declared
|
|
Build
a non-private declaration `Acc.recC` has already been declared
|
|
Build
`Acc.wfRel` has already been declared
|
|
Build
fail to show termination for
|
|
Build
fail to show termination for
|
|
Build
fail to show termination for
|
|
Build
fail to show termination for
|
|
Build
fail to show termination for
|
|
Build
fail to show termination for
|
|
Build
Process completed with exit code 3.
|
|
continuous integration
Canceling since a higher priority waiting request for continuous integration-refs/heads/nightly-testing- exists
|