CI

darts: Fix missing setting data_not_used in push_data_not_used_yet_ra… #342

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build with reprotest	16m 12s
Build in native mode	21m 27s
Build in simgrid mode	5m 46s
	43m 25s