Add support to convert time:Civil to string by using the time abbreviation

[ayeshLK]

Purpose

$subject

Fixes: #6986
Related to: #778

Examples

time:Utc utc = time:utcNow();
time:TimeZone zone = check new ("America/New_York");
time:Civil civilTime = zone.utcToCivil(utc);
string civilDate = check time:civilToString(civilTime);
io:println(civilDate);

Result:

2024-09-12T07:29:45.674107370-04:00[America/New_York]

Checklist

• Linked to an issue
• Updated the changelog
• Added tests
• Updated the spec
• Checked native-image compatibility

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 92.60%. Comparing base (75db636) to head (8d36a27).

Additional details and impacted files

@@             Coverage Diff              @@
##             master     #487      +/-   ##
============================================
+ Coverage     92.53%   92.60%   +0.07%     
  Complexity       62       62              
============================================
  Files            13       13              
  Lines           415      419       +4     
  Branches         90       94       +4     
============================================
+ Hits            384      388       +4     
  Misses           23       23              
  Partials          8        8              

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[sonarcloud]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarCloud