F# Build

Workflow runs for F# Build

• Take a linear factor common to a sum below the bar out of it

  completed successfully:
  F# Build#3324:Pull request#1932openedbyRafael-SOWNet
  a-common-linear-factor-of-a-sum-below-the-bar-is-taken-out

  Oct 17, 20264m 32s
  More actions for workflow run 3324

• Write an exponential of a whole multiple of an inverse hyperbolic tan…

  completed successfully:
  F# Build#3323:Commitb2ef509pushedbyRafael-SOWNet
  master

  Oct 17, 20264m 34s
  More actions for workflow run 3323

• Write an exponential of a whole multiple of an inverse hyperbolic tangent algebraically

  completed successfully:
  F# Build#3322:Pull request#1931openedbyRafael-SOWNet
  an-exponential-of-an-inverse-hyperbolic-tangent-written-algebraically

  Oct 17, 20262m 43s
  More actions for workflow run 3322

• Cancel a power of a cosine over a binomial in the sine (#1930)

  completed successfully:
  F# Build#3321:Commit081b56fpushedbyRafael-SOWNet
  master

  Oct 17, 20265m 46s
  More actions for workflow run 3321

• Cancel a power of a cosine over a binomial in the sine

  completed successfully:
  F# Build#3320:Pull request#1930openedbyRafael-SOWNet
  a-cosine-power-over-one-plus-a-sine-cancelled

  Oct 17, 20262m 29s
  More actions for workflow run 3320

• Integrate a function of an inverse function of a linear beside its po…

  completed successfully:
  F# Build#3319:Commitf77c4adpushedbyRafael-SOWNet
  master

  Oct 17, 20264m 4s
  More actions for workflow run 3319

• Integrate a function of an inverse function of a linear beside its powers under the linear

  completed successfully:
  F# Build#3318:Pull request#1929openedbyRafael-SOWNet
  an-inverse-function-of-a-linear-beside-its-powers-under-the-linear

  Oct 17, 20263m 32s
  More actions for workflow run 3318

• Divide out a constant common to the denominator after the half-angle …

  completed successfully:
  F# Build#3317:Commit9f18899pushedbyRafael-SOWNet
  master

  Oct 17, 20266m 42s
  More actions for workflow run 3317

• Divide out a constant common to the denominator after the half-angle substitution

  completed successfully:
  F# Build#3316:Pull request#1927synchronizebyRafael-SOWNet
  an-arcsine-over-a-half-odd-power-pair-is-not-nan

  Oct 17, 202610m 56s
  More actions for workflow run 3316

• Keep the evaluators' recursive frames to the arithmetic (#1928)

  completed successfully:
  F# Build#3315:Commit987e0f5pushedbyRafael-SOWNet
  master

  Oct 17, 20264m 2s
  More actions for workflow run 3315

• Keep the evaluators' recursive frames to the arithmetic

  completed successfully:
  F# Build#3314:Pull request#1928openedbyRafael-SOWNet
  interval-evaluation-keeps-its-recursion-frame-small

  Oct 17, 20262m 1s
  More actions for workflow run 3314

• Divide out a constant common to the denominator after the half-angle substitution

  completed successfully:
  F# Build#3313:Pull request#1927openedbyRafael-SOWNet
  an-arcsine-over-a-half-odd-power-pair-is-not-nan

  Oct 17, 20264m 49s
  More actions for workflow run 3313

• Integrate a power of x times an inverse tangent and the logarithm of …

  completed successfully:
  F# Build#3312:Commit930c5bapushedbyRafael-SOWNet
  master

  Oct 17, 20264m 34s
  More actions for workflow run 3312

• Integrate a power of x times an inverse tangent and the logarithm of its quadratic by parts

  completed successfully:
  F# Build#3311:Pull request#1926openedbyRafael-SOWNet
  an-arctangent-times-the-logarithm-of-its-quadratic

  Oct 17, 20261m 57s
  More actions for workflow run 3311

• Integrate a rational function over an inverse tangent's quadratic bes…

  completed successfully:
  F# Build#3310:Commit467d789pushedbyRafael-SOWNet
  master

  Oct 17, 20263m 26s
  More actions for workflow run 3310

• Integrate a rational function over an inverse tangent's quadratic beside it by partial fractions

  completed successfully:
  F# Build#3309:Pull request#1925openedbyRafael-SOWNet
  a-rational-function-over-the-arctangents-quadratic-split-beside-it

  Oct 17, 20265m 26s
  More actions for workflow run 3309

• Integrate a product of powers of a sine and a cosine beside a non-pol…

  completed successfully:
  F# Build#3308:Commit0d72aa4pushedbyRafael-SOWNet
  master

  Oct 17, 20263m 49s
  More actions for workflow run 3308

• Integrate a product of powers of a sine and a cosine beside a non-polynomial by linearising it

  completed successfully:
  F# Build#3307:Pull request#1924openedbyRafael-SOWNet
  a-product-of-powers-of-a-sine-and-a-cosine-linearised

  Oct 17, 20265m 29s
  More actions for workflow run 3307

• Integrate a power of x times a power of a function of another power o…

  completed successfully:
  F# Build#3306:Commit6796bc8pushedbyRafael-SOWNet
  master

  Oct 17, 20264m 32s
  More actions for workflow run 3306

• Integrate a power of x times a power of a function of another power of x under that power

  completed successfully:
  F# Build#3305:Pull request#1923openedbyRafael-SOWNet
  a-power-of-x-times-a-function-of-another-under-that-power

  Oct 17, 20262m 49s
  More actions for workflow run 3305

• Write a polynomial in a sine over a power of a binomial in it in powe…

  completed successfully:
  F# Build#3304:Commitee1f716pushedbyRafael-SOWNet
  master

  Oct 17, 20264m 28s
  More actions for workflow run 3304

• Write a polynomial in a sine over a power of a binomial in it in powers of the binomial

  completed successfully:
  F# Build#3303:Pull request#1922openedbyRafael-SOWNet
  a-quadratic-in-cosine-over-a-fourth-power-of-a-binomial-in-it

  Oct 17, 20268m 7s
  More actions for workflow run 3303

• Give each thread of the threading checker its own index (#1921)

  completed successfully:
  F# Build#3302:Commitc074a4cpushedbyRafael-SOWNet
  master

  Oct 17, 20269m 18s
  More actions for workflow run 3302

• Collect the documented examples' compilations as the test runs them (…

  completed successfully:
  F# Build#3301:Commit271152epushedbyRafael-SOWNet
  master

  Oct 17, 20261m 52s
  More actions for workflow run 3301

• Give each thread of the threading checker its own index

  completed successfully:
  F# Build#3300:Pull request#1921openedbyRafael-SOWNet
  each-thread-takes-its-own-index

  Oct 17, 20264m 16s
  More actions for workflow run 3300