All workflows

Workflow runs

• Update nightly-testing

  failed:
  Update nightly-testing#1492:Scheduled
  main

  Oct 27, 20263m 56s
  More actions for workflow run 1492

• Merge main to nightly

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

  Oct 27, 202610m 21s
  More actions for workflow run 1507

• Deploy postdeploy branch

  completed successfully:
  Deploy postdeploy branch#31:completedbyGarmelon
  Oct 27, 202615s
  More actions for workflow run 31

• Apply Overlays

  completed successfully:
  Apply Overlays#30:completedbyGarmelon
  Oct 27, 202618s
  More actions for workflow run 30

• chore: bump toolchain to v4.36.0-rc2 (#1065)

  completed successfully:
  Tag SubVerso for Verso releases#37:Commit71a2035pushedbyGarmelon
  v4.36.0-rc2

  Oct 27, 202613s
  More actions for workflow run 37

• chore: bump toolchain to v4.36.0-rc2 (#1065)

  completed successfully:
  Deploy Tagged Version#26:Commit71a2035pushedbyGarmelon
  v4.36.0-rc2

  Oct 27, 20262m 41s
  More actions for workflow run 26

• Deploy PR Preview

  skipped:
  Deploy PR Preview#1362:completedbygithub-merge-queue[bot]Bot
  Oct 27, 20261s
  More actions for workflow run 1362

• chore: bump toolchain to v4.36.0-rc2 (#1065)

  completed successfully:
  Continuous Integration#3592:Commit71a2035pushedbygithub-merge-queue[bot]Bot
  main

  Oct 27, 202625m 22s
  More actions for workflow run 3592

• chore: bump toolchain to v4.36.0-rc2 (#1065)

  completed successfully:
  Consistent subproject dependencies#2546:Commit71a2035pushedbygithub-merge-queue[bot]Bot
  main

  Oct 27, 202610s
  More actions for workflow run 2546

• Deploy PR Preview

  skipped:
  Deploy PR Preview#1361:completedbyGarmelon
  Oct 27, 20261s
  More actions for workflow run 1361

• Consistent subproject dependencies

  completed successfully:
  Consistent subproject dependencies#2545:Merge group checks requested
  Oct 27, 20269s
  More actions for workflow run 2545

• Check PR title follows commit convention

  completed successfully:
  Check PR title follows commit convention#632:Merge group checks requested
  Oct 27, 20266s
  More actions for workflow run 632

• Check toolchain file

  completed successfully:
  Check toolchain file#1881:Merge group checks requested
  Oct 27, 20269s
  More actions for workflow run 1881

• Lint GitHub Actions workflows

  completed successfully:
  Lint GitHub Actions workflows#1332:Merge group checks requested
  Oct 27, 202615s
  More actions for workflow run 1332

• No #eval in source files

  completed successfully:
  No #eval in source files#1125:Merge group checks requested
  Oct 27, 20269s
  More actions for workflow run 1125

• No tracked ignored files

  completed successfully:
  No tracked ignored files#50:Merge group checks requested
  Oct 27, 20268s
  More actions for workflow run 50

• Check for copyright header and too-big Lean imports

  completed successfully:
  Check for copyright header and too-big Lean imports#2479:Merge group checks requested
  Oct 27, 20268s
  More actions for workflow run 2479

• Continuous Integration

  completed successfully:
  Continuous Integration#3591:Merge group checks requested
  Oct 27, 202627m 1s
  More actions for workflow run 3591

• Check Code Formatting

  completed successfully:
  Check Code Formatting#1342:Merge group checks requested
  Oct 27, 202617s
  More actions for workflow run 1342

• All test modules imported

  completed successfully:
  All test modules imported#1121:Merge group checks requested
  Oct 27, 20268s
  More actions for workflow run 1121

• Check for trailing newlines

  completed successfully:
  Check for trailing newlines#1362:Merge group checks requested
  Oct 27, 20269s
  More actions for workflow run 1362

• Deploy PR Preview

  failed:
  Deploy PR Preview#1360:completedbyGarmelon
  Oct 27, 202614s
  More actions for workflow run 1360

• chore: bump toolchain to v4.36.0-rc2

  completed successfully:
  Check toolchain file#1880:Pull request#1065openedbyGarmelon
  bump-to-v4.36.0-rc2

  Oct 27, 20268s
  More actions for workflow run 1880

• chore: bump toolchain to v4.36.0-rc2

  completed successfully:
  Release note required#398:Pull request#1065openedbyGarmelon
  bump-to-v4.36.0-rc2

  Oct 27, 20268s
  More actions for workflow run 398

• chore: bump toolchain to v4.36.0-rc2

  completed successfully:
  Check PR title follows commit convention#631:Pull request#1065openedbyGarmelon
  bump-to-v4.36.0-rc2

  Oct 27, 20269s
  More actions for workflow run 631