ument.getElementById("checkboxFinished").checked;
        const show_started =
          document.getElementById("checkboxStarted").checked;
        const show_triggered =
          document.getElementById("checkboxTriggered").checked;
        const show_timedOut =
          document.getElementById("checkboxTimedOut").checked;

        fetchSequences(
          project_name,
	  show_started,
          show_triggered,
          show_finished,
          show_timedOut,
          table
        );
      }
    </