All workflows

Workflow runs

• Crabwatch

  completed successfully:
  Crabwatch#61:Merge group checks requested
  Oct 16, 202613s
  More actions for workflow run 61

• CI

  currently running:
  CI#1295:Merge group checks requested
  Oct 16, 2026In progress
  More actions for workflow run 1295

• Introduce a "scope" mechanism to judgments and use for binder instantiation

  currently running:
  CI#1294:Pull request#463synchronizebyjackh726
  judgment-scope

  Oct 16, 2026In progress
  More actions for workflow run 1294

• Introduce a "scope" mechanism to judgments and use for binder instantiation

  completed successfully:
  Coverage report#101:Pull request#463synchronizebyjackh726
  judgment-scope

  Oct 16, 20268m 8s
  More actions for workflow run 101

• Introduce a "scope" mechanism to judgments and use for binder instantiation

  completed successfully:
  Crabwatch#60:Pull request#463synchronizebyjackh726
  judgment-scope

  Oct 16, 202612s
  More actions for workflow run 60

• fix: added duplicate field check in struct construction

  completed successfully:
  Coverage report#100:Pull request#485openedbyLynndabel
  Lynndabel:duplicate-field

  Oct 15, 20265m 57s
  More actions for workflow run 100

• fix: added duplicate field check in struct construction

  completed successfully:
  CI#1293:Pull request#485openedbyLynndabel
  Lynndabel:duplicate-field

  Oct 15, 202623m 29s
  More actions for workflow run 1293

• fix: added duplicate field check in struct construction

  completed successfully:
  Crabwatch#59:Pull request#485openedbyLynndabel
  Lynndabel:duplicate-field

  Oct 15, 202612s
  More actions for workflow run 59

• Merge pull request #482 from Ayuse/fix-borrowck-output

  completed successfully:
  Deploy mdBook site to Pages#186:Commitfa3c1d8pushedbygithub-merge-queue[bot]Bot
  main

  Oct 15, 20269m 22s
  More actions for workflow run 186

• CI

  completed successfully:
  CI#1291:Merge group checks requested
  Oct 15, 202622m 11s
  More actions for workflow run 1291

• Crabwatch

  completed successfully:
  Crabwatch#57:Merge group checks requested
  Oct 15, 202615s
  More actions for workflow run 57

• Honor output expectations in borrow check tests

  completed successfully:
  CI#1290:Pull request#482synchronizebyAyuse
  Ayuse:fix-borrowck-output

  Oct 15, 202622m 6s
  More actions for workflow run 1290

• Honor output expectations in borrow check tests

  completed successfully:
  Coverage report#98:Pull request#482synchronizebyAyuse
  Ayuse:fix-borrowck-output

  Oct 15, 20268m 26s
  More actions for workflow run 98

• Honor output expectations in borrow check tests

  completed successfully:
  Crabwatch#56:Pull request#482synchronizebyAyuse
  Ayuse:fix-borrowck-output

  Oct 15, 202613s
  More actions for workflow run 56

• Honor rustc expectations in borrow-check tests

  completed successfully:
  CI#1289:Pull request#483openedbyFormasitchijoh
  Formasitchijoh:fix-469-borrowck-rustc-expectations

  Oct 15, 202616m 11s
  More actions for workflow run 1289

• Honor rustc expectations in borrow-check tests

  completed successfully:
  Crabwatch#55:Pull request#483openedbyFormasitchijoh
  Formasitchijoh:fix-469-borrowck-rustc-expectations

  Oct 15, 202612s
  More actions for workflow run 55

• Honor rustc expectations in borrow-check tests

  completed successfully:
  Coverage report#97:Pull request#483openedbyFormasitchijoh
  Formasitchijoh:fix-469-borrowck-rustc-expectations

  Oct 15, 20268m 43s
  More actions for workflow run 97

• Honor output expectations in borrow check tests

  completed successfully:
  Coverage report#96:Pull request#482openedbyAyuse
  Ayuse:fix-borrowck-output

  Oct 14, 20269m 15s
  More actions for workflow run 96

• Honor output expectations in borrow check tests

  completed successfully:
  CI#1288:Pull request#482openedbyAyuse
  Ayuse:fix-borrowck-output

  Oct 14, 202622m 19s
  More actions for workflow run 1288

• Honor output expectations in borrow check tests

  completed successfully:
  Crabwatch#54:Pull request#482openedbyAyuse
  Ayuse:fix-borrowck-output

  Oct 14, 202613s
  More actions for workflow run 54

• fix idiomatic judgment rendering in mdbook

  completed successfully:
  Crabwatch#53:Pull request#481openedbynikomatsakis
  nikomatsakis:codex/formality-mdbook-skills

  Oct 14, 202614s
  More actions for workflow run 53

• fix idiomatic judgment rendering in mdbook

  completed successfully:
  CI#1287:Pull request#481openedbynikomatsakis
  nikomatsakis:codex/formality-mdbook-skills

  Oct 14, 202623m 2s
  More actions for workflow run 1287

• fix idiomatic judgment rendering in mdbook

  completed successfully:
  Coverage report#95:Pull request#481openedbynikomatsakis
  nikomatsakis:codex/formality-mdbook-skills

  Oct 14, 20268m 22s
  More actions for workflow run 95

• Add collection-producing for_all to judgment premises

  completed successfully:
  Coverage report#94:Pull request#480synchronizebynikomatsakis
  nikomatsakis:codex/judgment-collection-comprehensions

  Oct 14, 20269m 12s
  More actions for workflow run 94

• Add collection-producing for_all to judgment premises

  completed successfully:
  CI#1286:Pull request#480synchronizebynikomatsakis
  nikomatsakis:codex/judgment-collection-comprehensions

  Oct 14, 202622m 41s
  More actions for workflow run 1286