• Show log

    Commit

  • Hash : e48bb3b7
    Author : Edward Thomson
    Date : 2022-02-22T21:52:08

    ci: allow for build-time (`cmake --build`) options
    
    Allow for options in the `cmake --build` phase, so that callers can
    specify (eg) the config type.