Function SET_EXECUTION_DETAILS

web-src/src/common/store/executions-module.js:68–71

(state, {execution, id})

        },

        SET_EXECUTION_DETAILS(state, {execution, id}) {
            state.selectedExecution = execution;
            state.selectedExecutionId = id;
        },

        SET_DETAILS_LOADING(state, loading) {
            state.detailsLoading = loading;