CI

doc: fix docker command to use gpu devices #318

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build with reprotest	15m 42s
Build in native mode	27m 43s
Build in simgrid mode	5m 43s
	49m 8s