socket = new WebSocket(`${server}/api/job/${params.user}/${params.repo}/ws`);

      socket = new WebSocket(`${server}/api/job/${params.user}/${params.repo}/ws`);

    socket.onmessage = (event) => {
      const j = JSON.parse(event.data);
      if (typeof j == 'object') {
        if (j?.jobs) {
          jobs = j.jobs;
        }
      }
    };

      socket.onmessage = (event) => {
          const j = JSON.parse(event.data);
          if (typeof j == 'object') {
              if (j?.jobs) {
                  jobs = j.jobs;
              }
          }
      };

    socket.onclose = () => {
      socket = undefined;
    };

      socket.onclose = () => {
          socket = undefined;
      };

    setInterval(() => {
      if (!socket) websocket();
    }, 1000);

      setInterval(() => {
          if (!socket) websocket();
      }, 1000);

  function fmt(d: string): string {
      if(!d) {
          return ''
      }
      const date = new Date(d)
      return date.toLocaleString()
  }

              {job.started}

              {fmt(job.started)}

              {job.ended}

              {fmt(job.ended)}