Skip to content

Allow the forgetting of generated reason clauses #332

Allow the forgetting of generated reason clauses

Allow the forgetting of generated reason clauses #332

Triggered via pull request October 27, 2024 22:58
Status Success
Total duration 22s
Artifacts

format.yml

on: pull_request
check_format
11s
check_format
Fit to window
Zoom out
Zoom in