Add toolchain version filters to URL parameters #38
Description
When filtering a toolchain by version via the text box, the URL parameters are not updated. This should be fixed.
{{ message }}
When filtering a toolchain by version via the text box, the URL parameters are not updated. This should be fixed.