Skip to content
Publish learn-latest

Remove rule that is not actually used #112

Sign in to view logs

Remove rule that is not actually used

Remove rule that is not actually used #112

Triggered via push October 7, 2024 13:58
@frank-at-adacorefrank-at-adacore
pushed 982e1ec
describe_where_gnatcheck_rules_come_from
Status Success
Total duration 12s
Artifacts –

publish-learn-latest.yml

on: push
Matrix: trigger
Fit to window
Zoom out
Zoom in