Skip to content

chore: sync isanagent main - #527

Open
efecnc wants to merge 1 commit into
mainfrom
chore/sync-isanagent-31306540321
Open

chore: sync isanagent main#527
efecnc wants to merge 1 commit into
mainfrom
chore/sync-isanagent-31306540321

Conversation

@efecnc

@efecnc efecnc commented Aug 9, 2026

Copy link
Copy Markdown
Collaborator

Updates the recorded İsanAgent main revision in Cargo.lock. Normal CI builds the committed lockfile for reproducibility; this scheduled/dispatch workflow and the release workflow own refreshing the resolved İsanAgent revision.

Merged automatically by Sync İsanAgent only after every CI check has passed.

@efecnc efecnc added the isanagent-bump Automated İsanAgent main sync label Aug 9, 2026
@efecnc

efecnc commented Aug 9, 2026

Copy link
Copy Markdown
Collaborator Author

Sync İsanAgent — CI failed

Leaving this PR open for manual triage. Recent checks:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

isanagent-bump Automated İsanAgent main sync

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant