All workflows

Workflow runs

• Star History

  failed:
  Star History#7:Scheduled
  re-dev

  Oct 25, 202610s
  More actions for workflow run 7

• A Google Drive sync skips ids outside Drive's alphabet, and a reconnect with another account drops the old folders and grant

  completed successfully:
  CI#99:Pull request#40synchronizebygedaiu
  feat/google-drive-security-pass

  Oct 24, 20264m 13s
  More actions for workflow run 99

• Merge pull request #41 from re-cinq/sync/upstream-dev-2026-10-24b

  completed successfully:
  CI#98:Commit6f34b6epushedbygedaiu
  re-dev

  Oct 24, 20263m 52s
  More actions for workflow run 98

• Sync upstream dev into re-dev (2026-10-24, evening): #1350, #1387, #1389, #1384

  completed successfully:
  CI#97:Pull request#41openedbygedaiu
  sync/upstream-dev-2026-10-24b

  Oct 24, 20265m 9s
  More actions for workflow run 97

• fix: use the last opened permitted base for MCP snippets (#1384)

  completed successfully:
  CI#96:Commitfc21f46pushedbygedaiu
  dev

  Oct 24, 20265m 9s
  More actions for workflow run 96

• A Google Drive sync skips ids outside Drive's alphabet, and a reconnect with another account drops the old folders and grant

  completed successfully:
  CI#95:Pull request#40openedbygedaiu
  feat/google-drive-security-pass

  Oct 24, 20264m 18s
  More actions for workflow run 95

• Merge pull request #39 from re-cinq/sync/upstream-dev-2026-10-24

  completed successfully:
  CI#94:Commit42972e3pushedbygedaiu
  re-dev

  Oct 24, 20264m 34s
  More actions for workflow run 94

• Sync upstream dev into re-dev (2026-10-24): #1390 and 9 more

  completed successfully:
  CI#93:Pull request#39openedbygedaiu
  sync/upstream-dev-2026-10-24

  Oct 24, 20264m 0s
  More actions for workflow run 93

• A model that refuses max_tokens or a non-default temperature is retri…

  completed successfully:
  CI#92:Commit03562d0pushedbygedaiu
  dev

  Oct 24, 20264m 58s
  More actions for workflow run 92

• Merge pull request #38 from re-cinq/fix/rewrites-keep-statement-layer

  completed successfully:
  Release#12:Commit897b0fcpushedbygedaiu
  v0.1.0-re.23

  Oct 24, 202612m 44s
  More actions for workflow run 12

• Merge pull request #38 from re-cinq/fix/rewrites-keep-statement-layer

  completed successfully:
  CI#91:Commit897b0fcpushedbygedaiu
  re-dev

  Oct 24, 20263m 52s
  More actions for workflow run 91

• Every rewrite of an open statement keeps it a statement

  completed successfully:
  CI#90:Pull request#38openedbygedaiu
  fix/rewrites-keep-statement-layer

  Oct 24, 20265m 15s
  More actions for workflow run 90

• Merge pull request #37 from re-cinq/fix/typed-fact-confirmed-by-its-s…

  completed successfully:
  CI#89:Commitb161780pushedbygedaiu
  re-dev

  Oct 24, 20265m 0s
  More actions for workflow run 89

• A typed fact is as confirmed as the statement it was built from

  completed successfully:
  CI#88:Pull request#37openedbygedaiu
  fix/typed-fact-confirmed-by-its-statement

  Oct 24, 20265m 23s
  More actions for workflow run 88

• Merge pull request #36 from re-cinq/feat/close-unconfirmed-of-source

  completed successfully:
  Release#11:Commit17318e6pushedbygedaiu
  v0.1.0-re.22

  Oct 24, 202610m 31s
  More actions for workflow run 11

• Merge pull request #36 from re-cinq/feat/close-unconfirmed-of-source

  completed successfully:
  CI#87:Commit17318e6pushedbygedaiu
  re-dev

  Oct 24, 20265m 9s
  More actions for workflow run 87

• A source closes the facts it stopped stating, in batches, with its write token

  completed successfully:
  CI#86:Pull request#36openedbygedaiu
  feat/close-unconfirmed-of-source

  Oct 24, 20263m 50s
  More actions for workflow run 86

• Star History

  failed:
  Star History#6:Scheduled
  re-dev

  Oct 24, 202611s
  More actions for workflow run 6

• Merge pull request #35 from re-cinq/feat/google-drive-follows-shortcuts

  completed successfully:
  Release#10:Commit4c99a78pushedbygedaiu
  v0.1.0-re.21

  Oct 23, 202611m 48s
  More actions for workflow run 10

• Merge pull request #35 from re-cinq/feat/google-drive-follows-shortcuts

  completed successfully:
  CI#85:Commit4c99a78pushedbygedaiu
  re-dev

  Oct 23, 20265m 15s
  More actions for workflow run 85

• A Google Drive sync follows shortcuts, so notes from meetings someone else organised come in

  completed successfully:
  CI#84:Pull request#35openedbygedaiu
  feat/google-drive-follows-shortcuts

  Oct 23, 20263m 53s
  More actions for workflow run 84

• Merge pull request #33 from re-cinq/feat/google-drive-review-fixes

  completed successfully:
  Release#9:Commit2ce27c1pushedbygedaiu
  v0.1.0-re.20

  Oct 23, 202612m 4s
  More actions for workflow run 9

• Merge pull request #33 from re-cinq/feat/google-drive-review-fixes

  completed successfully:
  CI#83:Commit2ce27c1pushedbygedaiu
  re-dev

  Oct 23, 20265m 2s
  More actions for workflow run 83

• Merge pull request #34 from re-cinq/feat/mirror-names-are-identities

  completed successfully:
  CI#82:Commit18dc6fbpushedbygedaiu
  re-dev

  Oct 23, 20265m 59s
  More actions for workflow run 82

• Every statements source declares its names identities, so the mirrors keep exact-name resolution

  completed successfully:
  CI#81:Pull request#34openedbygedaiu
  feat/mirror-names-are-identities

  Oct 23, 20266m 2s
  More actions for workflow run 81