Skip to content

Update opam dependencies#570

Merged
tchajed merged 1 commit intomasterfrom
update-dependencies
Mar 12, 2026
Merged

Update opam dependencies#570
tchajed merged 1 commit intomasterfrom
update-dependencies

Conversation

@tchajed
Copy link
Member

@tchajed tchajed commented Mar 12, 2026

upgraded 1 packages:
iris-named-props: c388714a93b1c043ed42a3f446280abd5113d26f -> ca663d2709888a789a03edc861b7bde86ddd56e5
tchajed/iris-named-props@c388714...ca663d2

Auto-generated by create-pull-request

@tchajed tchajed merged commit e2ee4bd into master Mar 12, 2026
7 checks passed
@tchajed tchajed deleted the update-dependencies branch March 12, 2026 12:59
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.

1 participant