continuous-integration

Workflow runs for continuous-integration

• [pre-commit.ci] pre-commit autoupdate

  completed successfully:
  continuous-integration#378:Pull request#158synchronizebypre-commit-ci[bot]Bot
  pre-commit-ci-update-config

  Oct 12, 202633s
  More actions for workflow run 378

• [pre-commit.ci] pre-commit autoupdate

  failed:
  continuous-integration#377:Pull request#158synchronizebypre-commit-ci[bot]Bot
  pre-commit-ci-update-config

  Oct 12, 202652s
  More actions for workflow run 377

• [pre-commit.ci] pre-commit autoupdate

  completed successfully:
  continuous-integration#376:Pull request#158synchronizebypre-commit-ci[bot]Bot
  pre-commit-ci-update-config

  Oct 5, 202643s
  More actions for workflow run 376

• [pre-commit.ci] pre-commit autoupdate

  failed:
  continuous-integration#375:Pull request#158synchronizebypre-commit-ci[bot]Bot
  pre-commit-ci-update-config

  Oct 5, 20261m 9s
  More actions for workflow run 375

• [pre-commit.ci] pre-commit autoupdate

  completed successfully:
  continuous-integration#374:Pull request#158synchronizebypre-commit-ci[bot]Bot
  pre-commit-ci-update-config

  Sep 28, 202637s
  More actions for workflow run 374

• [pre-commit.ci] pre-commit autoupdate

  failed:
  continuous-integration#373:Pull request#158synchronizebypre-commit-ci[bot]Bot
  pre-commit-ci-update-config

  Sep 28, 20261m 19s
  More actions for workflow run 373

• Fix unlabeled proof IDs colliding across documents

  failed:
  continuous-integration#372:Pull request#168openedbyBetterAndBetterII
  BetterAndBetterII:fix/unique-auto-labels

  Sep 1, 202630d 0h 4m 40s
  More actions for workflow run 372

• [pre-commit.ci] pre-commit autoupdate

  completed successfully:
  continuous-integration#371:Pull request#158synchronizebypre-commit-ci[bot]Bot
  pre-commit-ci-update-config

  May 25, 202633s
  More actions for workflow run 371

• [pre-commit.ci] pre-commit autoupdate

  failed:
  continuous-integration#370:Pull request#158synchronizebypre-commit-ci[bot]Bot
  pre-commit-ci-update-config

  May 25, 202652s
  More actions for workflow run 370

• [pre-commit.ci] pre-commit autoupdate

  completed successfully:
  continuous-integration#369:Pull request#158synchronizebypre-commit-ci[bot]Bot
  pre-commit-ci-update-config

  May 18, 202632s
  More actions for workflow run 369

• [pre-commit.ci] pre-commit autoupdate

  failed:
  continuous-integration#368:Pull request#158synchronizebypre-commit-ci[bot]Bot
  pre-commit-ci-update-config

  May 18, 202629s
  More actions for workflow run 368

• [pre-commit.ci] pre-commit autoupdate

  completed successfully:
  continuous-integration#367:Pull request#158synchronizebypre-commit-ci[bot]Bot
  pre-commit-ci-update-config

  Mar 16, 202646s
  More actions for workflow run 367

• [pre-commit.ci] pre-commit autoupdate

  failed:
  continuous-integration#366:Pull request#158synchronizebypre-commit-ci[bot]Bot
  pre-commit-ci-update-config

  Mar 16, 202656s
  More actions for workflow run 366

• [pre-commit.ci] pre-commit autoupdate

  completed successfully:
  continuous-integration#365:Pull request#158synchronizebypre-commit-ci[bot]Bot
  pre-commit-ci-update-config

  Mar 9, 202644s
  More actions for workflow run 365

• [pre-commit.ci] pre-commit autoupdate

  failed:
  continuous-integration#364:Pull request#158synchronizebypre-commit-ci[bot]Bot
  pre-commit-ci-update-config

  Mar 9, 202650s
  More actions for workflow run 364

• RELEASE: v0.4.0

  completed successfully:
  continuous-integration#363:Commitd1113a8pushedbydouden
  v0.4.0

  Jan 27, 202657s
  More actions for workflow run 363

• RELEASE: v0.4.0

  completed successfully:
  continuous-integration#362:Commitd1113a8pushedbydouden
  main

  Jan 27, 202633s
  More actions for workflow run 362

• 🚀 RELEASE: v0.4.0

  completed successfully:
  continuous-integration#361:Pull request#167openedbydouden
  release-v0.4.0

  Jan 27, 202634s
  More actions for workflow run 361

• Prepare release (#166)

  completed successfully:
  continuous-integration#360:Commit2d34f26pushedbydouden
  main

  Jan 27, 202634s
  More actions for workflow run 360

• Prepare release

  completed successfully:
  continuous-integration#359:Pull request#166synchronizebydouden
  prepare-release

  Jan 26, 202635s
  More actions for workflow run 359

• Prepare release

  failed:
  continuous-integration#358:Pull request#166openedbydouden
  prepare-release

  Jan 26, 202631s
  More actions for workflow run 358

• feat: Added possibility for shared numbering of theorems.

  completed successfully:
  continuous-integration#357:Pull request#164synchronizebydouden
  Ljon4ik4-main

  Jan 24, 202630s
  More actions for workflow run 357

• feat: Added possibility for shared numbering of theorems.

  failed:
  continuous-integration#356:Pull request#164synchronizebydouden
  Ljon4ik4-main

  Jan 24, 202631s
  More actions for workflow run 356

• feat: Added possibility for shared numbering of theorems.

  completed successfully:
  continuous-integration#355:Pull request#164synchronizebydouden
  Ljon4ik4-main

  Jan 24, 202633s
  More actions for workflow run 355

• feat: Added possibility for shared numbering of theorems.

  failed:
  continuous-integration#354:Pull request#164synchronizebydouden
  Ljon4ik4-main

  Jan 24, 202626s
  More actions for workflow run 354