CI

Merge pull request #592 from ejgallego/fix_plugin_load #624

# to view logs

Run time

Learn about OS # on GitHub Actions

Job	Run time
build (dev, 4.09-flambda, local)	3m 4s
build (dev, 4.09-flambda, hott)	4m 24s
build (dev, 4.09-flambda, dune)	4m 28s
	11m 56s