Skip to content
Build documentation

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

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 #426

Triggered via pull request March 30, 2026 08:53
@strubstrub
synchronize #950
improve-post-exceptions
Status Success
Total duration 6m 55s
Artifacts 1

docs.yml

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

Artifacts

Produced during runtime
Name Size Digest
refman
7.87 MB
sha256:1d229915efaaa3fb4acc73a9dc2554faf8a46e4a22cfe44efa47f077b4609bfe