All workflows

Workflow runs

• github_actions in /. - Update #1656618482

  completed successfully:
  Dependabot Updates#72:bydependabot[bot]Bot
  master

  Oct 26, 20261m 8s

• Read the sides in mirrored order, not in the same direction on both

  completed successfully:
  Lint & format#1898:Pull request#246ready_for_reviewbywebdevred
  mirror-the-two-sides

  Oct 25, 202626s
  More actions for workflow run 1898

• Read the sides in mirrored order, not in the same direction on both

  completed successfully:
  Build & test (dev)#1874:Pull request#246ready_for_reviewbywebdevred
  mirror-the-two-sides

  Oct 25, 20263m 40s
  More actions for workflow run 1874

• Build & test (latest GHC & deps)

  completed successfully:
  Build & test (latest GHC & deps)#1995:Scheduled
  master

  Oct 25, 20266m 30s
  More actions for workflow run 1995

• Read the sides in mirrored order, not in the same direction on both

  skipped:
  Build & test (latest GHC & deps)#1994:Pull request#246synchronizebywebdevred
  mirror-the-two-sides

  Oct 24, 2026Skipped
  More actions for workflow run 1994

• Read the sides in mirrored order, not in the same direction on both

  completed successfully:
  Build & test (dev)#1873:Pull request#246synchronizebywebdevred
  mirror-the-two-sides

  Oct 24, 202610s
  More actions for workflow run 1873

• Read the sides in mirrored order, not in the same direction on both

  skipped:
  Lint & format#1897:Pull request#246synchronizebywebdevred
  mirror-the-two-sides

  Oct 24, 202610s
  More actions for workflow run 1897

• Read the sides in mirrored order, not in the same direction on both

  completed successfully:
  Build for release#2009:Pull request#246synchronizebywebdevred
  mirror-the-two-sides

  Oct 24, 20262m 20s
  More actions for workflow run 2009

• Read the sides in mirrored order, not in the same direction on both

  completed successfully:
  Build & test (dev)#1872:Pull request#246synchronizebywebdevred
  mirror-the-two-sides

  Oct 23, 202610s
  More actions for workflow run 1872

• Read the sides in mirrored order, not in the same direction on both

  skipped:
  Lint & format#1896:Pull request#246synchronizebywebdevred
  mirror-the-two-sides

  Oct 23, 20261s
  More actions for workflow run 1896

• Read the sides in mirrored order, not in the same direction on both

  skipped:
  Build & test (latest GHC & deps)#1993:Pull request#246synchronizebywebdevred
  mirror-the-two-sides

  Oct 23, 20261s
  More actions for workflow run 1993

• Read the sides in mirrored order, not in the same direction on both

  failed:
  Build for release#2008:Pull request#246synchronizebywebdevred
  mirror-the-two-sides

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

• Read the sides in mirrored order, not in the same direction on both

  completed successfully:
  Build & test (dev)#1871:Pull request#246synchronizebywebdevred
  mirror-the-two-sides

  Oct 23, 202613s
  More actions for workflow run 1871

• Read the sides in mirrored order, not in the same direction on both

  skipped:
  Build & test (latest GHC & deps)#1992:Pull request#246synchronizebywebdevred
  mirror-the-two-sides

  Oct 23, 20261s
  More actions for workflow run 1992

• Read the sides in mirrored order, not in the same direction on both

  failed:
  Build for release#2007:Pull request#246synchronizebywebdevred
  mirror-the-two-sides

  Oct 23, 20263m 4s
  More actions for workflow run 2007

• Read the sides in mirrored order, not in the same direction on both

  skipped:
  Lint & format#1895:Pull request#246synchronizebywebdevred
  mirror-the-two-sides

  Oct 23, 20261s
  More actions for workflow run 1895

• Read the sides in mirrored order, not in the same direction on both

  skipped:
  Lint & format#1894:Pull request#246synchronizebywebdevred
  mirror-the-two-sides

  Oct 22, 202610s
  More actions for workflow run 1894

• Read the sides in mirrored order, not in the same direction on both

  completed successfully:
  Build & test (dev)#1870:Pull request#246synchronizebywebdevred
  mirror-the-two-sides

  Oct 22, 202611s
  More actions for workflow run 1870

• Read the sides in mirrored order, not in the same direction on both

  failed:
  Build for release#2006:Pull request#246synchronizebywebdevred
  mirror-the-two-sides

  Oct 22, 20262m 42s
  More actions for workflow run 2006

• Read the sides in mirrored order, not in the same direction on both

  skipped:
  Build & test (latest GHC & deps)#1991:Pull request#246synchronizebywebdevred
  mirror-the-two-sides

  Oct 22, 20269s
  More actions for workflow run 1991

• Read the sides in mirrored order, not in the same direction on both

  completed successfully:
  Build & test (dev)#1869:Pull request#246synchronizebywebdevred
  mirror-the-two-sides

  Oct 22, 202610s
  More actions for workflow run 1869

• Read the sides in mirrored order, not in the same direction on both

  failed:
  Build for release#2005:Pull request#246synchronizebywebdevred
  mirror-the-two-sides

  Oct 22, 20262m 23s
  More actions for workflow run 2005

• Read the sides in mirrored order, not in the same direction on both

  skipped:
  Build & test (latest GHC & deps)#1990:Pull request#246synchronizebywebdevred
  mirror-the-two-sides

  Oct 22, 202654s
  More actions for workflow run 1990

• Read the sides in mirrored order, not in the same direction on both

  skipped:
  Lint & format#1893:Pull request#246synchronizebywebdevred
  mirror-the-two-sides

  Oct 22, 20265s
  More actions for workflow run 1893

• Read each part in the columns its maintainer marked up

  completed successfully:
  Lint & format#1892:Pull request#252synchronizebywebdevred
  read-each-part-in-columns

  Oct 22, 202655s
  More actions for workflow run 1892