Build and Deploy

Workflow runs for Build and Deploy

• feat: update infrastructure

  completed successfully:
  Build and Deploy#470:Commite8fb5bcpushedbyslipperking
  main

  Oct 28, 20262m 18s
  More actions for workflow run 470

• fix: fix typo

  completed successfully:
  Build and Deploy#469:Commitc00897apushedbyslipperking
  main

  Oct 28, 20261m 43s
  More actions for workflow run 469

• chore: update infr

  completed successfully:
  Build and Deploy#468:Commit39974d8pushedbyslipperking
  main

  Oct 26, 20262m 26s
  More actions for workflow run 468

• feat: update fonts

  completed successfully:
  Build and Deploy#467:Commit23636d8pushedbyslipperking
  main

  Oct 23, 20262m 23s
  More actions for workflow run 467

• feat: use diacritic class for webkit support

  completed successfully:
  Build and Deploy#466:Commit1f427b0pushedbyslipperking
  main

  Oct 23, 20261m 50s
  More actions for workflow run 466

• Update styles.typ

  completed successfully:
  Build and Deploy#465:Commit8345003pushedbyslipperking
  main

  Oct 23, 20263m 19s
  More actions for workflow run 465

• feat: use diacritic class for webkit support

  completed successfully:
  Build and Deploy#464:Commit1f427b0pushedbyslipperking
  main

  Oct 23, 20262m 18s
  More actions for workflow run 464

• feat: collapsibility features

  completed successfully:
  Build and Deploy#463:Commit1269215pushedbyslipperking
  main

  Oct 23, 20262m 46s
  More actions for workflow run 463

• Update requirements.txt

  completed successfully:
  Build and Deploy#462:Commit641cb66pushedbyslipperking
  main

  Oct 22, 20262m 30s
  More actions for workflow run 462

• feat: auto gen sec labels

  completed successfully:
  Build and Deploy#461:Commitd0203bfpushedbyslipperking
  main

  Oct 21, 20262m 16s
  More actions for workflow run 461

• feat: add inline todos

  completed successfully:
  Build and Deploy#460:Commit7ff39bfpushedbyslipperking
  main

  Oct 21, 20262m 34s
  More actions for workflow run 460

• feat: continue bergman

  completed successfully:
  Build and Deploy#459:Commita17d717pushedbyslipperking
  main

  Oct 20, 20262m 15s
  More actions for workflow run 459

• feat: fix incompleteness of bergman space proof

  completed successfully:
  Build and Deploy#458:Commitb332cdepushedbyslipperking
  main

  Oct 14, 20262m 27s
  More actions for workflow run 458

• fix: fix errors

  completed successfully:
  Build and Deploy#457:Commit5a115bbpushedbyslipperking
  main

  Oct 14, 20262m 16s
  More actions for workflow run 457

• feat: finish bergman countable basis

  completed successfully:
  Build and Deploy#456:Commit80f359apushedbyslipperking
  main

  Oct 14, 20262m 29s
  More actions for workflow run 456

• fix: fix berg def

  completed successfully:
  Build and Deploy#455:Commit9bc3846pushedbyslipperking
  main

  Oct 14, 20261m 42s
  More actions for workflow run 455

• feat: changes

  completed successfully:
  Build and Deploy#454:Commitb9f0982pushedbyslipperking
  main

  Oct 8, 20262m 16s
  More actions for workflow run 454

• feat: reorganize exhaustion proof into sections

  completed successfully:
  Build and Deploy#453:Commitb31dabdpushedbyslipperking
  main

  Oct 3, 20262m 22s
  More actions for workflow run 453

• feat: generalize grid argument

  completed successfully:
  Build and Deploy#452:Commitb4d4b85pushedbyslipperking
  main

  Oct 2, 20262m 27s
  More actions for workflow run 452

• fix: fix details with proof of the separable subspace theorem

  completed successfully:
  Build and Deploy#451:Commit70fb60bpushedbyslipperking
  main

  Oct 2, 20262m 41s
  More actions for workflow run 451

• feat: (hopefully) finish separability of subspace

  completed successfully:
  Build and Deploy#450:Commitf9f29b4pushedbyslipperking
  main

  Oct 1, 20262m 24s
  More actions for workflow run 450

• feat: specify to separability <==> existence of cc ortho system

  completed successfully:
  Build and Deploy#449:Commit82ff7c2pushedbyslipperking
  main

  Oct 1, 20262m 32s
  More actions for workflow run 449

• feat: finish example involving gram schmidt

  completed successfully:
  Build and Deploy#448:Commit68d03bbpushedbyslipperking
  main

  Oct 1, 20263m 12s
  More actions for workflow run 448

• feat: add gram schmidt

  completed successfully:
  Build and Deploy#447:Commit3a6bdc1pushedbyslipperking
  main

  Sep 30, 20262m 34s
  More actions for workflow run 447

• fix: fix theorem statement and continue

  completed successfully:
  Build and Deploy#446:Commit15e90bfpushedbyslipperking
  main

  Sep 28, 20262m 24s
  More actions for workflow run 446