Skip to content

All workflows

Showing runs from all workflows

    Workflow runs

    242 workflow runs

    • Main workflow

      completed successfully:
      Main workflow#1328:Scheduled
      master
      Oct 15, 202621m 10s

    • Main workflow

      completed successfully:
      Main workflow#1327:Scheduled
      master
      Oct 14, 202618m 34s

    • Main workflow

      completed successfully:
      Main workflow#1326:Scheduled
      master
      Oct 13, 202618m 4s

    • Main workflow

      completed successfully:
      Main workflow#1325:Scheduled
      master
      Oct 12, 202616m 3s

    • Main workflow

      completed successfully:
      Main workflow#1324:Scheduled
      master
      Oct 11, 202615m 36s

    • Main workflow

      completed successfully:
      Main workflow#1323:Scheduled
      master
      Oct 10, 202615m 39s

    • Main workflow

      completed successfully:
      Main workflow#1322:Scheduled
      master
      Oct 9, 202619m 8s

    • Main workflow

      completed successfully:
      Main workflow#1321:Scheduled
      master
      Oct 8, 202621m 3s

    • Main workflow

      completed successfully:
      Main workflow#1320:Scheduled
      master
      Oct 7, 202617m 42s

    • Main workflow

      completed successfully:
      Main workflow#1319:Scheduled
      master
      Oct 6, 202618m 20s

    • Main workflow

      cancelled:
      Main workflow#1318:Scheduled
      master
      Oct 5, 202617m 32s

    • Main workflow

      completed successfully:
      Main workflow#1317:Scheduled
      master
      Oct 4, 202620m 27s

    • Main workflow

      completed successfully:
      Main workflow#1316:Scheduled
      master
      Oct 3, 202617m 10s

    • Main workflow

      completed successfully:
      Main workflow#1315:Scheduled
      master
      Oct 2, 202616m 45s

    • Main workflow

      completed successfully:
      Main workflow#1314:Scheduled
      master
      Oct 1, 202617m 31s

    • Main workflow

      completed successfully:
      Main workflow#1313:Scheduled
      master
      Sep 30, 202613m 57s

    • Main workflow

      completed successfully:
      Main workflow#1312:Scheduled
      master
      Sep 29, 202618m 1s

    • Main workflow

      completed successfully:
      Main workflow#1311:Scheduled
      master
      Sep 28, 202619m 29s

    • Main workflow

      completed successfully:
      Main workflow#1310:Scheduled
      master
      Sep 27, 202615m 29s

    • Main workflow

      completed successfully:
      Main workflow#1309:Scheduled
      master
      Sep 26, 202616m 40s

    • Main workflow

      completed successfully:
      Main workflow#1308:Scheduled
      master
      Sep 25, 202617m 14s

    • Main workflow

      completed successfully:
      Main workflow#1307:Scheduled
      master
      Sep 24, 202617m 57s

    • Main workflow

      completed successfully:
      Main workflow#1306:Scheduled
      master
      Sep 23, 202619m 13s

    • update CHANGES.md (belatedly); fix remote in dune-project

      completed successfully:
      Main workflow#1305:Commitf6873aepushedbymgree
      master
      Sep 22, 202616m 11s

    • rc v0.5.2 (#40)

      completed successfully:
      Main workflow#1304:Commit81b7649pushedbymgree
      v0.5.2
      Sep 22, 202616m 42s