ManageSieve: make sieve_formattime() parse all time-formatters PHP does. #2541

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Linux / PHP 7.3	29s
Windows / PHP 7.3	1m 6s
Linux / PHP 7.4	43s
Windows / PHP 7.4	1m 4s
Linux / PHP 8.0	26s
Windows / PHP 8.0	59s
Linux / PHP 8.1	25s
Windows / PHP 8.1	1m 5s
Linux / PHP 8.2	28s
Windows / PHP 8.2	1m 17s
Linux / PHP 8.3	27s
Windows / PHP 8.3	1m 6s
	9m 35s