Following point 3 in readme fails

[sjunges]

If I run docker build --build-arg PARTICIPANT_BUCKET_READ_SECRET=$PARTICIPANT_BUCKET_READ_SECRET -t tfl-training-probabilistic-model-checking . with the secret substituted, I get into the following error.

#11 1.169 Collecting package metadata (current_repodata.json): ...working... done                                                                                                                           
#11 4.300 Solving environment: ...working... failed with initial frozen solve. Retrying with flexible solve.                                                                                                
#11 4.300 Collecting package metadata (repodata.json): ...working... done                                                                                                                                   
#11 23.02 Solving environment: ...working... failed with initial frozen solve. Retrying with flexible solve.                                                                                                
#11 23.02 
#11 23.02 PackagesNotFoundError: The following packages are not available from current channels:
#11 23.02 
#11 23.02   - rise
#11 23.02 
#11 23.02 Current channels:
#11 23.02 
#11 23.02   - https://conda.anaconda.org/conda-forge/linux-aarch64
#11 23.02   - https://conda.anaconda.org/conda-forge/noarch
#11 23.02 
#11 23.02 To search for alternate channels that may provide the conda package you're
#11 23.02 looking for, navigate to
#11 23.02 
#11 23.02     https://anaconda.org
#11 23.02 
#11 23.02 and use the search bar at the top of the page.

[fariedabuzaid]

Docker build fixed by #11