Skip to content

Drop agents.md from repo, so devs can personalize #774

Drop agents.md from repo, so devs can personalize

Drop agents.md from repo, so devs can personalize #774

Triggered via push February 16, 2026 13:57
Status Success
Total duration 10s
Artifacts

ci.yml

on: push
determine runners
4s
determine runners
test each commit
test each commit
Matrix: macos-native-arm64
lint
lint
Matrix: ci-matrix
Fit to window
Zoom out
Zoom in

Annotations

1 notice
Runner Selection
Using GitHub-hosted runners