Skip to content
CI

Disable domain_host variation, it doesn't work on github atm #463

Sign in to view logs

Disable domain_host variation, it doesn't work on github atm

Disable domain_host variation, it doesn't work on github atm #463

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build with reprotest
16m 56s
Build in native mode
22m 45s
Build in simgrid mode
5m 34s
45m 15s