Skip to content

Update credible-std assertion examples - #201

Merged
makemake-kbo merged 1 commit into
mainfrom
update-credible-std-examples
Aug 7, 2026
Merged

Update credible-std assertion examples#201
makemake-kbo merged 1 commit into
mainfrom
update-credible-std-examples

Conversation

@phylax-ci

Copy link
Copy Markdown
Contributor

This PR automatically imports Assertions Book examples from
phylaxsystems/credible-std.

The import was triggered by PR merge to main.

@makemake-kbo
makemake-kbo merged commit 50b1690 into main Aug 7, 2026
3 checks passed
@makemake-kbo
makemake-kbo deleted the update-credible-std-examples branch August 7, 2026 12:10
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.

2 participants