All workflows

Workflow runs

• Show ucm, not unison, as the program name in help and messages

  requires action with the application:
  Contributor signed CONTRIBUTORS.markdown#2623:Pull request#6343openedbyshu-chen-dot-ca
  shu-chen-dot-ca:fix-6316-help-prog-name

  Nov 12, 2026Action required
  More actions for workflow run 2623

• Show ucm, not unison, as the program name in help and messages

  requires action with the application:
  ci dispatch#1169:Pull request#6343openedbyshu-chen-dot-ca
  shu-chen-dot-ca:fix-6316-help-prog-name

  Nov 12, 2026Action required
  More actions for workflow run 1169

• Show ucm, not unison, as the program name in help and messages

  requires action with the application:
  format#1424:Pull request#6343openedbyshu-chen-dot-ca
  shu-chen-dot-ca:fix-6316-help-prog-name

  Nov 12, 2026Action required
  More actions for workflow run 1424

• ucm help should not suggest running unison

  skipped:
  full verification#31:Issue comment#6316 (comment)createdbyshu-chen-dot-ca
  Nov 12, 2026Skipped
  More actions for workflow run 31

• pages build and deployment

  completed successfully:
  pages-build-deployment#1558:bygithub-pages[bot]Bot
  haddocks

  Nov 11, 20262m 10s

• pre-release trunk

  completed successfully:
  pre-release#2158:Commit6e5ec7cpushedbygithub-merge-queue[bot]Bot
  trunk

  Nov 11, 202621m 41s
  More actions for workflow run 2158

• Merge pull request #6342 from unisonweb/jit-shared-write-back

  completed successfully:
  Haddocks#1842:Commit6e5ec7cpushedbygithub-merge-queue[bot]Bot
  trunk

  Nov 11, 20269m 57s
  More actions for workflow run 1842

• Merge pull request #6342 from unisonweb/jit-shared-write-back

  failed:
  Nix development cache#2765:Commit6e5ec7cpushedbygithub-merge-queue[bot]Bot
  trunk

  Nov 11, 202633m 52s
  More actions for workflow run 2765

• Merge pull request #6342 from unisonweb/jit-shared-write-back

  completed successfully:
  warm caches#24:Commit6e5ec7cpushedbygithub-merge-queue[bot]Bot
  trunk

  Nov 11, 202613m 38s
  More actions for workflow run 24

• JIT: fix quadratic code size at exits

  skipped:
  full verification#30:Issue comment#6342 (comment)createdbypchiusano
  Nov 11, 20261s
  More actions for workflow run 30

• ci dispatch

  completed successfully:
  ci dispatch#1168:Merge group checks requested
  Nov 11, 202630m 33s
  More actions for workflow run 1168

• Contributor signed CONTRIBUTORS.markdown

  completed successfully:
  Contributor signed CONTRIBUTORS.markdown#2622:Merge group checks requested
  Nov 11, 20269s
  More actions for workflow run 2622

• ci dispatch

  queued:
  ci dispatch#1167:Merge group checks requested
  Nov 11, 2026Queued
  More actions for workflow run 1167

• Contributor signed CONTRIBUTORS.markdown

  queued:
  Contributor signed CONTRIBUTORS.markdown#2621:Merge group checks requested
  Nov 11, 2026Queued
  More actions for workflow run 2621

• pages build and deployment

  completed successfully:
  pages-build-deployment#1557:bygithub-pages[bot]Bot
  haddocks

  Nov 11, 20262m 35s

• JIT: fix quadratic code size at exits

  completed successfully:
  format#1423:Pull request#6342openedbypchiusano
  jit-shared-write-back

  Nov 11, 202633s
  More actions for workflow run 1423

• JIT: fix quadratic code size at exits

  completed successfully:
  ci dispatch#1166:Pull request#6342openedbypchiusano
  jit-shared-write-back

  Nov 11, 20267s
  More actions for workflow run 1166

• JIT: fix quadratic code size at exits

  completed successfully:
  Contributor signed CONTRIBUTORS.markdown#2620:Pull request#6342openedbypchiusano
  jit-shared-write-back

  Nov 11, 202613s
  More actions for workflow run 2620

• Proofs

  completed successfully:
  ci dispatch#1165:Commit12449b7pushedbypchiusano
  jit-shared-write-back

  Nov 11, 202623s
  More actions for workflow run 1165

• pre-release trunk

  failed:
  pre-release#2157:Commit04e630apushedbygithub-merge-queue[bot]Bot
  trunk

  Nov 11, 20261h 6m 59s
  More actions for workflow run 2157

• Merge pull request #6341 from unisonweb/fzf-fix

  completed successfully:
  warm caches#23:Commit04e630apushedbygithub-merge-queue[bot]Bot
  trunk

  Nov 11, 202615m 55s
  More actions for workflow run 23

• Merge pull request #6341 from unisonweb/fzf-fix

  failed:
  Nix development cache#2764:Commit04e630apushedbygithub-merge-queue[bot]Bot
  trunk

  Nov 11, 202615m 7s
  More actions for workflow run 2764

• Merge pull request #6341 from unisonweb/fzf-fix

  completed successfully:
  Haddocks#1841:Commit04e630apushedbygithub-merge-queue[bot]Bot
  trunk

  Nov 11, 20269m 26s
  More actions for workflow run 1841

• ci dispatch

  completed successfully:
  ci dispatch#1164:Merge group checks requested
  Nov 11, 20261h 27m 7s
  More actions for workflow run 1164

• Contributor signed CONTRIBUTORS.markdown

  completed successfully:
  Contributor signed CONTRIBUTORS.markdown#2619:Merge group checks requested
  Nov 11, 20267s
  More actions for workflow run 2619