Skip to content

Replace deprecated syntax 'forall ensures' -> 'assert ... by' #213

Replace deprecated syntax 'forall ensures' -> 'assert ... by'

Replace deprecated syntax 'forall ensures' -> 'assert ... by' #213

Re-run triggered October 4, 2023 22:38
Status Success
Total duration 2m 1s
Artifacts

check-examples-in-docs.yml

on: pull_request
Matrix: check-examples-in-docs
Fit to window
Zoom out
Zoom in