CI

Merge pull request #1905 from H3rnand3zzz/fix/history-lag #1222

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macOS	6m 30s
Linux (debian)	7m 44s
Linux (fedora)	10m 57s
Check spelling	19s
Linux (ubuntu)	7m 16s
Check coding style	1m 17s
	34m 3s