Skip to content

All workflows

Showing runs from all workflows

    Workflow runs

    251 workflow runs

    • Halmos

      completed successfully:
      Halmos#65:Scheduled
      main
      Aug 2, 202622s

    • Mutation Testing

      cancelled:
      Mutation Testing#65:Scheduled
      main
      Aug 2, 20266h 0m 26s

    • Medusa

      completed successfully:
      Medusa#65:Scheduled
      main
      Aug 2, 202610m 29s

    • Halmos

      completed successfully:
      Halmos#64:Scheduled
      main
      Aug 1, 202631s

    • Mutation Testing

      cancelled:
      Mutation Testing#64:Scheduled
      main
      Aug 1, 20266h 0m 26s

    • Medusa

      completed successfully:
      Medusa#64:Scheduled
      main
      Aug 1, 202611m 47s

    • Halmos

      completed successfully:
      Halmos#63:Scheduled
      main
      Jul 31, 202630s

    • Mutation Testing

      cancelled:
      Mutation Testing#63:Scheduled
      main
      Jul 31, 20266h 0m 22s

    • Medusa

      completed successfully:
      Medusa#63:Scheduled
      main
      Jul 31, 202610m 35s

    • Halmos

      completed successfully:
      Halmos#62:Scheduled
      main
      Jul 30, 202628s

    • Mutation Testing

      cancelled:
      Mutation Testing#62:Scheduled
      main
      Jul 30, 20266h 0m 18s

    • Medusa

      completed successfully:
      Medusa#62:Scheduled
      main
      Jul 30, 202610m 38s

    • Halmos

      completed successfully:
      Halmos#61:Scheduled
      main
      Jul 29, 202625s

    • Mutation Testing

      cancelled:
      Mutation Testing#61:Scheduled
      main
      Jul 29, 20266h 0m 20s

    • Medusa

      completed successfully:
      Medusa#61:Scheduled
      main
      Jul 29, 202610m 38s

    • Halmos

      completed successfully:
      Halmos#60:Scheduled
      main
      Jul 28, 202629s

    • Mutation Testing

      cancelled:
      Mutation Testing#60:Scheduled
      main
      Jul 28, 20266h 0m 21s

    • Medusa

      completed successfully:
      Medusa#60:Scheduled
      main
      Jul 28, 202610m 25s

    • Halmos

      completed successfully:
      Halmos#59:Scheduled
      main
      Jul 27, 202625s

    • Mutation Testing

      cancelled:
      Mutation Testing#59:Scheduled
      main
      Jul 27, 20266h 0m 33s

    • Medusa

      completed successfully:
      Medusa#59:Scheduled
      main
      Jul 27, 202610m 36s

    • Halmos

      completed successfully:
      Halmos#58:Scheduled
      main
      Jul 26, 202629s

    • Mutation Testing

      cancelled:
      Mutation Testing#58:Scheduled
      main
      Jul 26, 20266h 0m 19s

    • Medusa

      completed successfully:
      Medusa#58:Scheduled
      main
      Jul 26, 202610m 28s

    • Halmos

      completed successfully:
      Halmos#57:Scheduled
      main
      Jul 25, 202624s