Skip to content
Build documentation

Merge the default optional postcondition for exception into the map of exceptions #339

Sign in to view logs

Merge the default optional postcondition for exception into the map of exceptions

Merge the default optional postcondition for exception into the map of exceptions #339

Triggered via pull request March 23, 2026 17:38
@lyonel2017lyonel2017
opened #950
improve-post-exceptions
Status Success
Total duration 3m 42s
Artifacts 1

docs.yml

on: pull_request
build
3m 38s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
refman
7.87 MB
sha256:39cf061ec122286c8804f9aba45d116176dcce6852a5cbe7a5d869ebbade022c