Add macro rule for capture avoidance in beta redexes and its elaboration #33341
Triggered via pull request
January 21, 2025 16:20
ajreynol
Status
Cancelled
Total duration
1m 23s
Artifacts
–
Annotations
11 errors
|
win64:production-cross
Canceling since a higher priority waiting request for 'build-refs/pull/11513/merge-win64:production-cross-true' exists
|
|
macos:production
Canceling since a higher priority waiting request for 'build-refs/pull/11513/merge-macos:production-true' exists
|
|
ubuntu:production
Canceling since a higher priority waiting request for 'build-refs/pull/11513/merge-ubuntu:production-true' exists
|
|
win64:production
Canceling since a higher priority waiting request for 'build-refs/pull/11513/merge-win64:production-true' exists
|
|
wasm:production
Canceling since a higher priority waiting request for 'build-refs/pull/11513/merge-wasm:production-true' exists
|
|
ubuntu:production-dbg
Canceling since a higher priority waiting request for 'build-refs/pull/11513/merge-ubuntu:production-dbg-true' exists
|
|
macos:production-arm64-cross
Canceling since a higher priority waiting request for 'build-refs/pull/11513/merge-macos:production-arm64-cross-true' exists
|
|
macos:production-arm64
Canceling since a higher priority waiting request for 'build-refs/pull/11513/merge-macos:production-arm64-true' exists
|
|
ubuntu:production-clang
Canceling since a higher priority waiting request for 'build-refs/pull/11513/merge-ubuntu:production-clang-true' exists
|
|
ubuntu:production-arm64-cross
Canceling since a higher priority waiting request for 'build-refs/pull/11513/merge-ubuntu:production-arm64-cross-true' exists
|
|
ubuntu:production-dbg-clang
Canceling since a higher priority waiting request for 'build-refs/pull/11513/merge-ubuntu:production-dbg-clang-true' exists
|