Skip to content

LabelOps — PR Maintenance #184

LabelOps — PR Maintenance

LabelOps — PR Maintenance #184

Triggered via schedule May 29, 2026 10:56
Status Success
Total duration 9m 13s
Artifacts 4
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
safe_outputs
pushSignedCommits: executable bit on src/Compiler/Checking/AttributeChecking.fs will be lost in signed commit (GitHub GraphQL does not support mode 100755)
safe_outputs
push_to_pull_request_branch: detected 1 merge commit(s) in range f0a4fd6f552e68233015eb0a0aa26a5aa56537c2..HEAD. Merge commits cannot be pushed as signed commits. Squashing the range into a single regular commit to preserve content. To avoid this, use 'git rebase' instead of 'git merge' when updating the PR branch.
safe_outputs
Could not check branch protection rules for "fix/19664-extension-overloads" (insufficient permissions): Resource not accessible by integration - https://docs.github.com/rest/branches/branch-protection#get-branch-protection

Artifacts

Produced during runtime
Name Size Digest
activation Expired
276 KB
sha256:c758126212fe242969996481d717bc7906c715379181702cdd3e10fe075b03dc
agent
705 KB
sha256:4cbfc3065987fb19e4646a6eb3b402f56135f2156ad74c315b35011c36fe9207
detection
3.59 KB
sha256:57d442ffc6f1ee29580e624e224af2f5a6547b195bdef0f736a5f99df9e6d0a9
safe-outputs-items
460 Bytes
sha256:e3ffe8e1c4e342e43efad24f59a2bdd7720e1088d54f77211988d45bc389fb05