PR

Workflow runs for PR

• [origami] Update to 2.0.5

  failed:
  PR#3029:Pull request#1601openedbygap-package-distribution-bot[bot]Bot
  automatic/origami

  Oct 29, 202646m 44s
  More actions for workflow run 3029

• [cap_project] Update GeneralizedMorphismsForCAP to 2026.10-02

  failed:
  PR#3028:Pull request#1600openedbygap-package-distribution-bot[bot]Bot
  automatic/cap_project

  Oct 27, 20261h 2m 33s
  More actions for workflow run 3028

• [packagemanager] Update to 2.0.0-beta.4

  failed:
  PR#3027:Pull request#1570synchronizebygap-package-distribution-bot[bot]Bot
  automatic/packagemanager

  Oct 23, 20261h 0m 55s
  More actions for workflow run 3027

• [packagemanager] Update to 2.0.0-beta.4

  failed:
  PR#3026:Pull request#1570synchronizebygap-package-distribution-bot[bot]Bot
  automatic/packagemanager

  Oct 22, 202610m 42s
  More actions for workflow run 3026

• [packagemanager] Update to 2.0.0-beta.4

  failed:
  PR#2989:Pull request#1570synchronizebygap-package-distribution-bot[bot]Bot
  automatic/packagemanager

  Oct 1, 202614s
  More actions for workflow run 2989

• [cctab] New package, version 0.4

  failed:
  PR#2988:Pull request#1578reopenedbyfingolfin
  automatic/cctab

  Oct 1, 202618m 27s
  More actions for workflow run 2988

• [packagemanager] Update to 2.0.0-beta.4

  failed:
  PR#2987:Pull request#1570synchronizebygap-package-distribution-bot[bot]Bot
  automatic/packagemanager

  Oct 1, 202610s
  More actions for workflow run 2987

• [cctab] New package, version 0.4

  failed:
  PR#2986:Pull request#1578openedbygap-package-distribution-bot[bot]Bot
  automatic/cctab

  Sep 30, 20261m 30s
  More actions for workflow run 2986

• [packagemanager] Update to 2.0.0-beta.4

  failed:
  PR#2985:Pull request#1570synchronizebygap-package-distribution-bot[bot]Bot
  automatic/packagemanager

  Sep 30, 202615s
  More actions for workflow run 2985

• [numericalsgps] Update to 1.5.0

  completed successfully:
  PR#2984:Pull request#1549synchronizebygap-package-distribution-bot[bot]Bot
  automatic/numericalsgps

  Sep 30, 202647m 11s
  More actions for workflow run 2984

• [packagemanager] Update to 2.0.0-beta.4

  failed:
  PR#2983:Pull request#1570synchronizebygap-package-distribution-bot[bot]Bot
  automatic/packagemanager

  Sep 30, 202627m 28s
  More actions for workflow run 2983

• [openmath] Update to 11.5.6

  completed successfully:
  PR#2982:Pull request#1576openedbygap-package-distribution-bot[bot]Bot
  automatic/openmath

  Sep 29, 202636m 27s
  More actions for workflow run 2982

• [numericalsgps] Update to 1.5.0

  failed:
  PR#2981:Pull request#1549synchronizebygap-package-distribution-bot[bot]Bot
  automatic/numericalsgps

  Sep 29, 202624s
  More actions for workflow run 2981

• [packagemanager] Update to 2.0.0-beta.4

  failed:
  PR#2980:Pull request#1570synchronizebygap-package-distribution-bot[bot]Bot
  automatic/packagemanager

  Sep 29, 202630m 33s
  More actions for workflow run 2980

• [packagemanager] Update to 2.0.0-beta.4

  failed:
  PR#2979:Pull request#1570synchronizebygap-package-distribution-bot[bot]Bot
  automatic/packagemanager

  Sep 29, 202641m 20s
  More actions for workflow run 2979

• [numericalsgps] Update to 1.5.0

  failed:
  PR#2978:Pull request#1549synchronizebygap-package-distribution-bot[bot]Bot
  automatic/numericalsgps

  Sep 29, 202625s
  More actions for workflow run 2978

• [json] Update to 3.0.0

  completed successfully:
  PR#2977:Pull request#1571synchronizebygap-package-distribution-bot[bot]Bot
  automatic/json

  Sep 29, 202648m 12s
  More actions for workflow run 2977

• [packagemanager] Update to 2.0.0-beta.4

  failed:
  PR#2976:Pull request#1570synchronizebygap-package-distribution-bot[bot]Bot
  automatic/packagemanager

  Sep 28, 202638m 30s
  More actions for workflow run 2976

• [io] Update to 4.11.0

  completed successfully:
  PR#2975:Pull request#1575openedbygap-package-distribution-bot[bot]Bot
  automatic/io

  Sep 28, 202629m 48s
  More actions for workflow run 2975

• [numericalsgps] Update to 1.5.0

  failed:
  PR#2974:Pull request#1549synchronizebygap-package-distribution-bot[bot]Bot
  automatic/numericalsgps

  Sep 28, 202639s
  More actions for workflow run 2974

• [json] Update to 3.0.0

  failed:
  PR#2973:Pull request#1571synchronizebygap-package-distribution-bot[bot]Bot
  automatic/json

  Sep 28, 20262m 14s
  More actions for workflow run 2973

• [semigroups] Update to 5.7.0

  completed successfully:
  PR#2972:Pull request#1573openedbygap-package-distribution-bot[bot]Bot
  automatic/semigroups

  Sep 28, 202644m 38s
  More actions for workflow run 2972

• [ferret] Update to 1.0.17

  failed:
  PR#2971:Pull request#1572openedbygap-package-distribution-bot[bot]Bot
  automatic/ferret

  Sep 28, 202642m 10s
  More actions for workflow run 2971

• [json] Update to 3.0.0

  failed:
  PR#2970:Pull request#1571openedbygap-package-distribution-bot[bot]Bot
  automatic/json

  Sep 28, 20261m 20s
  More actions for workflow run 2970

• [packagemanager] Update to 2.0.0-beta.4

  failed:
  PR#2969:Pull request#1570openedbygap-package-distribution-bot[bot]Bot
  automatic/packagemanager

  Sep 28, 202648m 50s
  More actions for workflow run 2969