Workspaces

Workflow runs for Workspaces

• Update and fix some links

  completed successfully:
  Workspaces#2129:Pull request#1244openedbyJoseph-Edwards
  Joseph-Edwards:fix-links

  Oct 28, 20262m 14s
  More actions for workflow run 2129

• Use IsComponentObjectRep in Objectify with a record

  completed successfully:
  Workspaces#2128:Pull request#1242openedbyJoseph-Edwards
  Joseph-Edwards:fix-objectify-type

  Oct 28, 20261m 58s
  More actions for workflow run 2128

• Add full domain partition monoid (generators)

  completed successfully:
  Workspaces#2127:Pull request#1229synchronizebykpd-0
  kpd-0:FullDomain

  Oct 28, 20261m 51s
  More actions for workflow run 2127

• Workspaces

  completed successfully:
  Workspaces#2126:Scheduled
  main

  Oct 28, 20262m 3s
  More actions for workflow run 2126

• Fix typo in the GPL license notice

  completed successfully:
  Workspaces#2125:Commitb6994d3pushedbyjames-d-mitchell
  main

  Oct 27, 20264m 47s
  More actions for workflow run 2125

• Workspaces

  completed successfully:
  Workspaces#2124:Scheduled
  main

  Oct 27, 20262m 21s
  More actions for workflow run 2124

• Fix typo in the GPL license notice

  completed successfully:
  Workspaces#2123:Pull request#1240synchronizebyjames-d-mitchell
  fingolfin:mh-claude/license-typo

  Oct 26, 202627m 49s
  More actions for workflow run 2123

• Use preimages instead of inverse of zero injection

  completed successfully:
  Workspaces#2122:Commita3504b0pushedbyjames-d-mitchell
  main

  Oct 26, 202611m 51s
  More actions for workflow run 2122

• Use preimages instead of inverse of zero injection

  completed successfully:
  Workspaces#2121:Commitefaa9bdpushedbyjames-d-mitchell
  stable-5.7

  Oct 26, 20266m 43s
  More actions for workflow run 2121

• Wrap line exceeding gaplint's length limit

  completed successfully:
  Workspaces#2120:Commitc8d2737pushedbyjames-d-mitchell
  main

  Oct 26, 20264m 15s
  More actions for workflow run 2120

• Wrap line exceeding gaplint's length limit

  completed successfully:
  Workspaces#2119:Commitcc8f359pushedbyjames-d-mitchell
  stable-5.7

  Oct 26, 20267m 25s
  More actions for workflow run 2119

• Add PreImagesRepresentativeNC method for SHBI

  completed successfully:
  Workspaces#2118:Commit0f46a92pushedbyjames-d-mitchell
  main

  Oct 26, 20266m 48s
  More actions for workflow run 2118

• Merge stable into main

  completed successfully:
  Workspaces#2117:Pull request#1241openedbyjames-d-mitchell
  james-d-mitchell:main

  Oct 26, 20266m 41s
  More actions for workflow run 2117

• Workspaces

  completed successfully:
  Workspaces#2116:Scheduled
  main

  Oct 26, 20261m 54s
  More actions for workflow run 2116

• Workspaces

  completed successfully:
  Workspaces#2115:Scheduled
  main

  Oct 25, 20262m 18s
  More actions for workflow run 2115

• Fix typo in the GPL license notice

  completed successfully:
  Workspaces#2114:Pull request#1240openedbyfingolfin
  fingolfin:mh-claude/license-typo

  Oct 24, 20262m 13s
  More actions for workflow run 2114

• Workspaces

  completed successfully:
  Workspaces#2113:Scheduled
  main

  Oct 24, 20262m 9s
  More actions for workflow run 2113

• Workspaces

  completed successfully:
  Workspaces#2112:Scheduled
  main

  Oct 23, 20262m 2s
  More actions for workflow run 2112

• Workspaces

  completed successfully:
  Workspaces#2111:Scheduled
  main

  Oct 22, 20261m 59s
  More actions for workflow run 2111

• Workspaces

  completed successfully:
  Workspaces#2110:Scheduled
  main

  Oct 21, 20262m 0s
  More actions for workflow run 2110

• Workspaces

  completed successfully:
  Workspaces#2109:Scheduled
  main

  Oct 20, 20262m 14s
  More actions for workflow run 2109

• Workspaces

  completed successfully:
  Workspaces#2108:Scheduled
  main

  Oct 19, 20267m 38s
  More actions for workflow run 2108

• Add missing representation filters

  completed successfully:
  Workspaces#2107:Pull request#1235synchronizebyfingolfin
  fingolfin:mh/IsComponentObjectRep

  Oct 18, 20261m 52s
  More actions for workflow run 2107

• Use preimages instead of inverse of zero injection

  completed successfully:
  Workspaces#2106:Pull request#1238synchronizebyfingolfin
  fingolfin:mh/injectionzeromagma

  Oct 18, 20261m 52s
  More actions for workflow run 2106

• Use preimages instead of inverse of zero injection

  completed successfully:
  Workspaces#2105:Pull request#1238openedbyfingolfin
  fingolfin:mh/injectionzeromagma

  Oct 18, 20262m 2s
  More actions for workflow run 2105