Opened 4 years ago

Closed 4 years ago

Last modified 4 years ago

#26868 closed defect (fixed)

Remove incorrect mention of CircleCI from Docker Hub README

Reported by: saraedum Owned by:
Priority: trivial Milestone: sage-8.6
Component: distribution Keywords:
Cc: Merged in:
Authors: Julian Rüth Reviewers: Frédéric Chapoton
Report Upstream: N/A Work issues:
Branch: bf65617 (Commits, GitHub, GitLab) Commit: bf6561767d766a2b859465dbe8b912090305a98b
Dependencies: Stopgaps:

Status badges

Description incorrectly mentions CircleCI. We are not using it currently to upgrade our docker images.

Change History (5)

comment:1 Changed 4 years ago by saraedum

  • Branch set to u/saraedum/26868

comment:2 Changed 4 years ago by saraedum

  • Authors set to Julian Rüth
  • Commit set to bf6561767d766a2b859465dbe8b912090305a98b
  • Status changed from new to needs_review

New commits:

bf65617Remove mention of CircleCI from Docker README

comment:3 Changed 4 years ago by chapoton

  • Reviewers set to Frédéric Chapoton
  • Status changed from needs_review to positive_review


comment:4 Changed 4 years ago by vbraun

  • Branch changed from u/saraedum/26868 to bf6561767d766a2b859465dbe8b912090305a98b
  • Resolution set to fixed
  • Status changed from positive_review to closed

comment:5 Changed 4 years ago by embray

  • Milestone changed from sage-8.5 to sage-8.6

This tickets were closed as fixed after the Sage 8.5 release.

Note: See TracTickets for help on using tickets.