search

rems-project / cn-tutorial

7 stars 8 forks source link

Tutorial links to examples are broken #31

Closed septract closed 2 months ago

septract commented 2 months ago

replication:

  1. Open tutorial on GitHub pages here
  2. Click on the first example link, solutions/0.c
  3. result: 404

This worked as of last week, but now it seems to be broken

bcpierce00 commented 2 months ago

Hum -- not sure what's happening here, I'm afraid. The tutorial looks fine when I build it locally, and I don't really understand how the deployment to github pages works. Happy to try to look at it together with someone who does...

On Mon, Jun 17, 2024 at 8:15 PM Mike Dodds @.***> wrote:

Assigned #31 https://urldefense.com/v3/__https://github.com/rems-project/cn-tutorial/issues/31__;!!IBzWLUs!SHxXhDUTIgpEPkHKOMYlmHv2-ioAVvDXcziz2tT8rkPqXOfs7OMtnEnd04OP001mqg2d6gB5fx38MzzBBr8iKowPy6Q9$ to @bcpierce00 https://urldefense.com/v3/__https://github.com/bcpierce00__;!!IBzWLUs!SHxXhDUTIgpEPkHKOMYlmHv2-ioAVvDXcziz2tT8rkPqXOfs7OMtnEnd04OP001mqg2d6gB5fx38MzzBBr8iKvIN8U9_$ .

— Reply to this email directly, view it on GitHub https://urldefense.com/v3/__https://github.com/rems-project/cn-tutorial/issues/31*event-13193109892__;Iw!!IBzWLUs!SHxXhDUTIgpEPkHKOMYlmHv2-ioAVvDXcziz2tT8rkPqXOfs7OMtnEnd04OP001mqg2d6gB5fx38MzzBBr8iKhTUg2A8$, or unsubscribe https://urldefense.com/v3/__https://github.com/notifications/unsubscribe-auth/ABVQQCYYULSNCAUZYYIQCADZH53ZHAVCNFSM6AAAAABJO6MTB6VHI2DSMVQWIX3LMV45UABCJFZXG5LFIV3GK3TUJZXXI2LGNFRWC5DJN5XDWMJTGE4TGMJQHE4DSMQ__;!!IBzWLUs!SHxXhDUTIgpEPkHKOMYlmHv2-ioAVvDXcziz2tT8rkPqXOfs7OMtnEnd04OP001mqg2d6gB5fx38MzzBBr8iKukLjyXx$ . You are receiving this because you were assigned.Message ID: @.***>