All workflows

Workflow runs

• Update nightly-testing

  failed:
  Update nightly-testing#1534:Scheduled
  main

  Nov 6, 20266m 27s
  More actions for workflow run 1534

• Merge main to nightly

  failed:
  Merge main to nightly#1532:Scheduled
  main

  Nov 6, 20263m 46s
  More actions for workflow run 1532

• Deploy PR for review

  completed successfully:
  Deploy PR for review#3401:completedbydavid-christiansen
  Nov 6, 20261m 59s
  More actions for workflow run 3401

• Label PRs with artifacts

  completed successfully:
  Label PRs with artifacts#3513:completedbydavid-christiansen
  Nov 6, 20261m 40s
  More actions for workflow run 3513

• chore: update to latest Verso and fix deprecations

  completed successfully:
  Check PR title for commit convention#2380:Pull request#989openedbydavid-christiansen
  bump-and-deprecations

  Nov 6, 202638s
  More actions for workflow run 2380

• chore: update to latest Verso and fix deprecations

  completed successfully:
  Build and check HTML#3890:Pull request#989openedbydavid-christiansen
  bump-and-deprecations

  Nov 6, 202610m 40s
  More actions for workflow run 3890

• chore: update to latest Verso and fix deprecations

  completed successfully:
  Check dependency pins#134:Pull request#989openedbydavid-christiansen
  bump-and-deprecations

  Nov 6, 202659s
  More actions for workflow run 134

• chore: update to latest Verso and fix deprecations

  completed successfully:
  Check for too-big Lean imports#2157:Pull request#989openedbydavid-christiansen
  bump-and-deprecations

  Nov 6, 202653s
  More actions for workflow run 2157

• chore: update to latest Verso and fix deprecations

  completed successfully:
  Check Formatting of JS/CSS/HTML and Markdown#832:Pull request#989openedbydavid-christiansen
  bump-and-deprecations

  Nov 6, 202643s
  More actions for workflow run 832

• chore: update to latest Verso and fix deprecations

  completed successfully:
  Check for copyright headers#2157:Pull request#989openedbydavid-christiansen
  bump-and-deprecations

  Nov 6, 202648s
  More actions for workflow run 2157

• Update nightly-testing

  failed:
  Update nightly-testing#1533:Scheduled
  main

  Nov 6, 20265m 12s
  More actions for workflow run 1533

• Merge main to nightly

  completed successfully:
  Merge main to nightly#1531:Scheduled
  main

  Nov 6, 20264m 49s
  More actions for workflow run 1531

• Update nightly-testing

  failed:
  Update nightly-testing#1532:Scheduled
  main

  Nov 5, 20269m 31s
  More actions for workflow run 1532

• Merge main to nightly

  completed successfully:
  Merge main to nightly#1530:Scheduled
  main

  Nov 5, 202611m 12s
  More actions for workflow run 1530

• Update nightly-testing

  failed:
  Update nightly-testing#1531:Scheduled
  main

  Nov 5, 202612m 11s
  More actions for workflow run 1531

• Merge main to nightly

  completed successfully:
  Merge main to nightly#1529:Scheduled
  main

  Nov 5, 202619m 11s
  More actions for workflow run 1529

• Update nightly-testing

  failed:
  Update nightly-testing#1530:Scheduled
  main

  Nov 5, 202621s
  More actions for workflow run 1530

• Merge main to nightly

  completed successfully:
  Merge main to nightly#1528:Scheduled
  main

  Nov 5, 20265m 8s
  More actions for workflow run 1528

• Update nightly-testing

  failed:
  Update nightly-testing#1529:Scheduled
  main

  Nov 4, 20266m 8s
  More actions for workflow run 1529

• Merge main to nightly

  completed successfully:
  Merge main to nightly#1527:Scheduled
  main

  Nov 4, 20267m 46s
  More actions for workflow run 1527

• Update nightly-testing

  failed:
  Update nightly-testing#1528:Scheduled
  main

  Nov 4, 202622m 15s
  More actions for workflow run 1528

• Merge main to nightly

  completed successfully:
  Merge main to nightly#1526:Scheduled
  main

  Nov 4, 20265m 35s
  More actions for workflow run 1526

• Update nightly-testing

  failed:
  Update nightly-testing#1527:Scheduled
  main

  Nov 4, 20266m 15s
  More actions for workflow run 1527

• Merge main to nightly

  completed successfully:
  Merge main to nightly#1525:Scheduled
  main

  Nov 4, 20267m 33s
  More actions for workflow run 1525

• Update nightly-testing

  failed:
  Update nightly-testing#1526:Scheduled
  main

  Nov 3, 202615m 22s
  More actions for workflow run 1526