Force config file generation

Author: mosteo

.github/workflows/main.yml

@@ -1,6 +1,8 @@
 on:                    # Run the workflow for each of the following events:
   push:                # - A branch is pushed or updated.
   pull_request:        # - A pull-request is opened or updated.
+  schedule:
+    - cron: '@daily'   # - A daily cron job is scheduled.
   workflow_dispatch:   # - A manual run of the workflow is requested from the GitHub web interface.
   release:
     types: [created]   # - A release is created.
@@ -32,7 +34,7 @@ jobs:
       - run: alr gnatprove -j0 --level=4
 
         # Instrument the project code for coverage analysis.
-      - run: cd tests && alr gnatcov instrument --level=stmt --dump-trigger=atexit --projects ada_spark_workflow.gpr
+      - run: cd tests && alr build && alr gnatcov instrument --level=stmt --dump-trigger=atexit --projects ada_spark_workflow.gpr
 
         # Build testsuite with instrumented code.
       - run: cd tests && alr build -- --src-subdirs=gnatcov-instr --implicit-with=gnatcov_rts_full