If in the UI you select “master” for the desired Zeek version, it’s not actually Master. For example, trying today (using print zeek_version(); as my script) I get 5.0.0-dev.332, whereas the actual current version is somewhere a bit north of 5.2.0-dev.439.
Better would be for the option to be labeled along the lines of Recent master (5.0.0-dev.332).
If in the UI you select “master” for the desired Zeek version, it’s not actually Master. For example, trying today (using
print zeek_version();as my script) I get5.0.0-dev.332, whereas the actual current version is somewhere a bit north of5.2.0-dev.439.Better would be for the option to be labeled along the lines of
Recent master (5.0.0-dev.332).