Skip to content

chore: update ic.did from portal repo#4494

Merged
ggreif merged 6 commits intomasterfrom
update/ic-did-20260310
Mar 27, 2026
Merged

chore: update ic.did from portal repo#4494
ggreif merged 6 commits intomasterfrom
update/ic-did-20260310

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

Automated update of ic.did. Triggered by periodic check.

@github-actions github-actions bot requested a review from a team as a code owner March 10, 2026 20:05
@ggreif ggreif enabled auto-merge (squash) March 10, 2026 20:18
@lwshang lwshang closed this Mar 10, 2026
auto-merge was automatically disabled March 10, 2026 23:58

Pull request was closed

@lwshang lwshang reopened this Mar 10, 2026
….toml

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
@ggreif ggreif changed the title chore: update from portal repo chore: update ic.did from portal repo Mar 24, 2026
don't try to run executables
@ggreif ggreif self-assigned this Mar 24, 2026
@ggreif ggreif enabled auto-merge (squash) March 27, 2026 16:26
@ggreif ggreif merged commit de5f59d into master Mar 27, 2026
116 of 118 checks passed
@ggreif ggreif deleted the update/ic-did-20260310 branch March 27, 2026 16:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants