Integration Test

Workflow runs for Integration Test

• Build the F# packages against the host's FSharp.Core, and reopen the …

  currently running:
  Integration Test#3433:Commit72d1446pushedbyRafael-SOWNet
  master

  Oct 24, 2026In progress
  More actions for workflow run 3433

• Build the F# packages against the host's FSharp.Core, and reopen the namespaces in a C# notebook

  completed successfully:
  Integration Test#3432:Pull request#2112openedbyRafael-SOWNet
  offer-the-interactive-extension-to-fsharp-only

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

• Register the notebook LaTeX formatters by reflection, and drop polyfi…

  completed successfully:
  Integration Test#3431:Commitfe5be21pushedbyRafael-SOWNet
  master

  Oct 24, 20265m 32s
  More actions for workflow run 3431

• Register the notebook LaTeX formatters by reflection, and drop polyfill.io

  completed successfully:
  Integration Test#3430:Pull request#2111openedbyRafael-SOWNet
  read-the-latex-extension-without-a-reference

  Oct 24, 20265m 26s
  More actions for workflow run 3430

• Make the Lab's notebooks the sample notebooks (#2110)

  completed successfully:
  Integration Test#3429:Commit9893cf4pushedbyRafael-SOWNet
  master

  Oct 24, 20265m 43s
  More actions for workflow run 3429

• Make the Lab's notebooks the sample notebooks

  completed successfully:
  Integration Test#3428:Pull request#2110openedbyRafael-SOWNet
  one-set-of-sample-notebooks

  Oct 24, 20266m 38s
  More actions for workflow run 3428

• Build the Binder image from this repository, and make the samples run…

  completed successfully:
  Integration Test#3427:Commita849c99pushedbyRafael-SOWNet
  master

  Oct 24, 20265m 28s
  More actions for workflow run 3427

• Build the Binder image from this repository, and make the samples run

  completed successfully:
  Integration Test#3426:Pull request#2107openedbyRafael-SOWNet
  build-the-binder-image-from-this-repository

  Oct 24, 20263m 13s
  More actions for workflow run 3426

• Read a sum as the derivative of a lower power of a linear beside a fu…

  completed successfully:
  Integration Test#3425:Commit218acb6pushedbyRafael-SOWNet
  master

  Oct 24, 20265m 8s
  More actions for workflow run 3425

• Read a sum as the derivative of a lower power of a linear beside a function

  completed successfully:
  Integration Test#3424:Pull request#2106openedbyRafael-SOWNet
  a-sum-that-is-the-derivative-of-a-lower-power-beside-a-function

  Oct 24, 20264m 46s
  More actions for workflow run 3424

• Read a power of a power of a linear beside an exponential of a linear…

  completed successfully:
  Integration Test#3423:Commit191510fpushedbyRafael-SOWNet
  master

  Oct 24, 20268m 21s
  More actions for workflow run 3423

• Move the articles and the acknowledgements from the archived AngouriM…

  completed successfully:
  Integration Test#3422:Commitbcb64f6pushedbyRafael-SOWNet
  master

  Oct 24, 20266m 10s
  More actions for workflow run 3422

• Integrate a power beside a Laurent polynomial in an exponential term …

  completed successfully:
  Integration Test#3421:Commit6d8f3capushedbyRafael-SOWNet
  master

  Oct 24, 20268m 18s
  More actions for workflow run 3421

• Read a power of a power of a linear beside an exponential of a linear

  completed successfully:
  Integration Test#3420:Pull request#2105openedbyRafael-SOWNet
  a-power-of-a-power-of-a-linear-beside-an-exponential

  Oct 24, 202612m 35s
  More actions for workflow run 3420

• Move the articles and the acknowledgements from the archived AngouriMathLab

  completed successfully:
  Integration Test#3419:Pull request#2104synchronizebyRafael-SOWNet
  move-the-articles-and-acknowledgements-from-the-lab

  Oct 24, 202620m 45s
  More actions for workflow run 3419

• Move the articles and the acknowledgements from the archived AngouriMathLab

  completed successfully:
  Integration Test#3418:Pull request#2104openedbyRafael-SOWNet
  move-the-articles-and-acknowledgements-from-the-lab

  Oct 24, 202620m 31s
  More actions for workflow run 3418

• Integrate a power beside a Laurent polynomial in an exponential term by term

  completed successfully:
  Integration Test#3417:Pull request#2103openedbyRafael-SOWNet
  a-power-of-a-linear-beside-a-tangent-as-exponentials

  Oct 24, 20265m 36s
  More actions for workflow run 3417

• Leave a definite integral as written where a bound's limit is not dec…

  completed successfully:
  Integration Test#3416:Commite1fe08cpushedbyRafael-SOWNet
  master

  Oct 23, 202612m 14s
  More actions for workflow run 3416

• Write an expression with floors and ceilings over a bounded range as …

  completed successfully:
  Integration Test#3415:Commita6f3d31pushedbyRafael-SOWNet
  master

  Oct 23, 20265m 21s
  More actions for workflow run 3415

• Write an expression with floors and ceilings over a bounded range as the piecewise it is there

  completed successfully:
  Integration Test#3414:Pull request#2102openedbyRafael-SOWNet
  the-pieces-of-a-floor-or-ceiling-over-a-bounded-range

  Oct 23, 20266m 17s
  More actions for workflow run 3414

• Leave a definite integral as written where a bound's limit is not decided

  completed successfully:
  Integration Test#3413:Pull request#2101openedbyRafael-SOWNet
  a-definite-integral-with-an-undecided-bound-is-left-as-written

  Oct 23, 20266m 39s
  More actions for workflow run 3413

• Undo an inverse sine or cosine to a power that is not whole (#2100)

  completed successfully:
  Integration Test#3412:Commit647aa81pushedbyRafael-SOWNet
  master

  Oct 23, 202612m 16s
  More actions for workflow run 3412

• Take the real root in the precise gamma function where the power take…

  completed successfully:
  Integration Test#3411:Commita9155c6pushedbyRafael-SOWNet
  master

  Oct 23, 20269m 48s
  More actions for workflow run 3411

• Undo an inverse sine or cosine to a power that is not whole

  completed successfully:
  Integration Test#3410:Pull request#2100openedbyRafael-SOWNet
  a-symbolic-power-of-an-inverse-trigonometric-function

  Oct 23, 20264m 11s
  More actions for workflow run 3410

• Take the real root in the precise gamma function where the power takes it

  completed successfully:
  Integration Test#3409:Pull request#2099openedbyRafael-SOWNet
  the-precise-gamma-takes-the-real-root-on-the-cut

  Oct 23, 20269m 10s
  More actions for workflow run 3409