Build IDE examples

Update Mozilla CCADB URL in certs-from-mozilla.py #867

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Windows	1m 58s
macOS	1m 2s
Linux - LwIP default (2)	7m 56s
Linux - LwIP default (0)	7m 50s
Linux - LwIP default (4)	7m 55s
Linux - LwIP default (3)	8m 12s
Linux - LwIP default (1)	8m 13s
sanity-check	12s
Linux - LwIP IPv6 (5)	9m 30s
Linux - LwIP IPv6 (7)	7m 39s
Linux - LwIP IPv6 (0)	7m 42s
Linux - LwIP default (5)	8m 56s
Linux - LwIP default (6)	9m 10s
Linux - LwIP default (7)	7m 48s
Linux - LwIP IPv6 (6)	8m 47s
Linux - LwIP IPv6 (3)	7m 55s
Linux - LwIP IPv6 (1)	8m 11s
Linux - LwIP IPv6 (4)	8m 5s
Linux - LwIP IPv6 (2)	7m 41s
	2h 14m 42s