Skip to content

Bugfix: avoid spurious tautology pruning when dealing with certain recursive messages #103

Bugfix: avoid spurious tautology pruning when dealing with certain recursive messages

Bugfix: avoid spurious tautology pruning when dealing with certain recursive messages #103

Triggered via pull request August 29, 2024 14:35
Status Success
Total duration 13s
Artifacts

notify-approval-bypass.yaml

on: pull_request
Notify  /  approval
1s
Notify / approval
Fit to window
Zoom out
Zoom in