https://github.com/andreasabel/agda-automata/actions/runs/8647859406/job/23710306511#step:7:8
Unknown warning flag: DuplicateInterfaceFiles. See --help=warning.
Agda 2.6.4 does not now about this future warning (will enter in 2.7).
I think we should only fail softly here. Warn about the unknown warning.
This is better for forward compatibility and multi-Agda development.
Since we have --warning=error to turn all warnings into errors, folks who absolutely want to fail when an unknown warning is touched can always do so.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4