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: Julian Rüth 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 Julian Rüth

Branch: u/saraedum/26868

comment:2 Changed 4 years ago by Julian Rüth

Authors: Julian Rüth
Commit: bf6561767d766a2b859465dbe8b912090305a98b
Status: newneeds_review

New commits:

bf65617Remove mention of CircleCI from Docker README

comment:3 Changed 4 years ago by Frédéric Chapoton

Reviewers: Frédéric Chapoton
Status: needs_reviewpositive_review


comment:4 Changed 4 years ago by Volker Braun

Branch: u/saraedum/26868bf6561767d766a2b859465dbe8b912090305a98b
Resolution: fixed
Status: positive_reviewclosed

comment:5 Changed 4 years ago by Erik Bray

Milestone: sage-8.5sage-8.6

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

Note: See TracTickets for help on using tickets.