Skip to content

clean up unused methods from the hare oracle (#6682) #4141

clean up unused methods from the hare oracle (#6682)

clean up unused methods from the hare oracle (#6682) #4141

Triggered via push February 3, 2025 22:08
Status Success
Total duration 49m 42s
Artifacts

systest.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 warning
filter-changes
Unexpected input(s) 'predicate-quantifier', valid inputs are ['token', 'working-directory', 'ref', 'base', 'filters', 'list-files', 'initial-fetch-depth']