Issues

• Pending release

  pending release
  gap-packages/ArtifactManager#8 · Filter by author github-actions opened on Oct 12, 2026

• An artifact's identity depends on which archiver unpacked it

  gap-packages/ArtifactManager#7 · Filter by author fingolfin opened on Aug 13, 2026
  1

• Don't record artifact size, record download size

  gap-packages/ArtifactManager#6 · Filter by author fingolfin opened on Aug 13, 2026
  3

• Read artifact files straight out of the archive

  Feature

  gap-packages/ArtifactManager#5 · Filter by author fingolfin opened on Aug 13, 2026

• File artifacts vs directory artifacts

  gap-packages/ArtifactManager#4 · Filter by author fingolfin opened on Aug 13, 2026
  5

• Collection of random thoughts

  gap-packages/ArtifactManager#3 · Filter by author fingolfin opened on Aug 13, 2026
  3

• selective download of individual files

  gap-packages/ArtifactManager#2 · Filter by author ThomasBreuer opened on Aug 13, 2026
  1

• Converge with lgoettgens/ArtifactManager

  gap-packages/ArtifactManager#1 · Filter by author fingolfin opened on Aug 12, 2026
  4