All workflows

Workflow runs

• document that extern statics may be bigger than the declared size

  completed successfully:
  CI#4821:Pull request#2334synchronizebytraviscross
  RalfJung:extern-static-oversize

  Nov 6, 20261m 59s
  More actions for workflow run 4821

• document that extern statics may be bigger than the declared size

  completed successfully:
  Crabwatch#154:Pull request#2334synchronizebytraviscross
  RalfJung:extern-static-oversize

  Nov 6, 202614s
  More actions for workflow run 154

• Daily Grammar Check

  completed successfully:
  Daily Grammar Check#80:Scheduled
  master

  Nov 6, 20266m 6s
  More actions for workflow run 80

• Daily Grammar Check

  completed successfully:
  Daily Grammar Check#79:Scheduled
  master

  Nov 5, 20265m 35s
  More actions for workflow run 79

• Merge pull request #2278 from veluca93/optimize-attribute

  completed successfully:
  Deploy dev-guide#138:Commita2ae66dpushedbygithub-merge-queue[bot]Bot
  master

  Nov 4, 202647s
  More actions for workflow run 138

• Crabwatch

  completed successfully:
  Crabwatch#153:Merge group checks requested
  Nov 4, 202610s
  More actions for workflow run 153

• CI

  completed successfully:
  CI#4820:Merge group checks requested
  Nov 4, 20261m 59s
  More actions for workflow run 4820

• Stabilize #[optimize] attribute

  completed successfully:
  CI#4819:Pull request#2278synchronizebytraviscross
  veluca93:optimize-attribute

  Nov 4, 20262m 0s
  More actions for workflow run 4819

• Stabilize #[optimize] attribute

  completed successfully:
  Crabwatch#152:Pull request#2278synchronizebytraviscross
  veluca93:optimize-attribute

  Nov 4, 202622s
  More actions for workflow run 152

• Document tool attributes being unaffected by the no_implicit_prelude attribute

  completed successfully:
  CI#4818:Pull request#2404synchronizebymejrs
  mejrs:tool_prelude

  Nov 4, 20261m 27s
  More actions for workflow run 4818

• Document tool attributes being unaffected by the no_implicit_prelude attribute

  completed successfully:
  Crabwatch#151:Pull request#2404synchronizebymejrs
  mejrs:tool_prelude

  Nov 4, 202611s
  More actions for workflow run 151

• Crabwatch

  completed successfully:
  Crabwatch#150:Merge group checks requested
  Nov 4, 202612s
  More actions for workflow run 150

• CI

  completed successfully:
  CI#4817:Merge group checks requested
  Nov 4, 20261m 47s
  More actions for workflow run 4817

• Stabilize #[optimize] attribute

  completed successfully:
  CI#4816:Pull request#2278synchronizebytraviscross
  veluca93:optimize-attribute

  Nov 4, 20261m 33s
  More actions for workflow run 4816

• Stabilize #[optimize] attribute

  completed successfully:
  Crabwatch#149:Pull request#2278synchronizebytraviscross
  veluca93:optimize-attribute

  Nov 4, 202617s
  More actions for workflow run 149

• Update #[link_ordinal] behavior

  completed successfully:
  CI#4815:Pull request#2406openedbybjorn3
  bjorn3:raw_dylib_ordinal_change

  Nov 4, 20261m 48s
  More actions for workflow run 4815

• Update #[link_ordinal] behavior

  completed successfully:
  Crabwatch#148:Pull request#2406openedbybjorn3
  bjorn3:raw_dylib_ordinal_change

  Nov 4, 202611s
  More actions for workflow run 148

• Daily Grammar Check

  completed successfully:
  Daily Grammar Check#78:Scheduled
  master

  Nov 4, 20265m 14s
  More actions for workflow run 78

• Add support for showing chapter indices

  completed successfully:
  CI#4814:Pull request#2398synchronizebyDanielEScherzer
  DanielEScherzer:chapter-index

  Nov 3, 20262m 19s
  More actions for workflow run 4814

• Add support for showing chapter indices

  completed successfully:
  Crabwatch#147:Pull request#2398synchronizebyDanielEScherzer
  DanielEScherzer:chapter-index

  Nov 3, 202621s
  More actions for workflow run 147

• Daily Grammar Check

  completed successfully:
  Daily Grammar Check#77:Scheduled
  master

  Nov 3, 20266m 10s
  More actions for workflow run 77

• Document tool attributes being unaffected by the no_implicit_prelude attribute

  completed successfully:
  Crabwatch#146:Pull request#2404openedbymejrs
  mejrs:tool_prelude

  Nov 2, 202613s
  More actions for workflow run 146

• Document tool attributes being unaffected by the no_implicit_prelude attribute

  completed successfully:
  CI#4813:Pull request#2404openedbymejrs
  mejrs:tool_prelude

  Nov 2, 20262m 10s
  More actions for workflow run 4813

• input-format: Delegate exact Unicode version to the standard library

  completed successfully:
  CI#4812:Pull request#2403synchronizebytgross35
  tgross35:unicode-version

  Nov 2, 20261m 58s
  More actions for workflow run 4812

• input-format: Delegate exact Unicode version to the standard library

  completed successfully:
  Crabwatch#145:Pull request#2403synchronizebytgross35
  tgross35:unicode-version

  Nov 2, 202614s
  More actions for workflow run 145