Skip to content

chore: standardize GitHub workflow configuration #111

chore: standardize GitHub workflow configuration

chore: standardize GitHub workflow configuration #111

Triggered via push January 6, 2026 23:46
Status Success
Total duration 4m 4s
Artifacts 1

build.yml

on: push
Update draft release
7s
Update draft release
Matrix: Build CLI / Binary
Matrix: Build Jupyter Kernel / Build
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
Update draft release
"pull_request_target.edited" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
Update draft release
"pull_request_target.synchronize" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
Update draft release
"pull_request_target.reopened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
Update draft release
"pull_request_target.opened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)

Artifacts

Produced during runtime
Name Size Digest
eddmann~santa-lang-comet~7MNP3P.dockerbuild Expired
46 KB
sha256:d7f543dbebc77f5096764408f0872cdd87daeb2373ffcd3d03c2a003e0bd4305