Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Make things easier to find #3

Open
2 of 3 tasks
felixwellen opened this issue Oct 25, 2023 · 0 comments
Open
2 of 3 tasks

Make things easier to find #3

felixwellen opened this issue Oct 25, 2023 · 0 comments

Comments

@felixwellen
Copy link
Contributor

felixwellen commented Oct 25, 2023 •
edited by andreasabel
Loading

I tried to find descriptions of the labs and failed. Here are a couple of things I noticed:

  • "Laborations" is somewhat unintuitive and it took me some time to recognize. Maybe rename to "Labs"?
  • Under "Laborations" I didn't find a link to a description of the task I have to do. If the task is to start with a stub in some repo, that should be mentioned more prominently.
  • When trying to write this issue or a PR, I was looking on the webpage for a direct link to this github repo but didn't find one.

Sorry for all the complaining ;-)
andreasabel added a commit that referenced this issue Oct 25, 2023
@andreasabel
[ www ] Add "sources on github" ribbon
2a53e75 
In response to #3
andreasabel added a commit that referenced this issue Oct 25, 2023
@andreasabel
[ all ] Rename laboration to lab
143e126 
"laboration" is actually Swedish for "lab work"...

In response to #3
andreasabel added a commit to teach-plt/lab2-testsuite that referenced this issue Oct 31, 2024
@andreasabel
[ all ] Rename laboration to lab
de9a862 
"laboration" is actually Swedish for "lab work"...

In response to teach-plt/www#3
andreasabel added a commit to teach-plt/lab3-testsuite that referenced this issue Oct 31, 2024
@andreasabel
[ all ] Rename laboration to lab
12054cc 
"laboration" is actually Swedish for "lab work"...

In response to teach-plt/www#3
andreasabel added a commit to teach-plt/lab4-testsuite that referenced this issue Oct 31, 2024
@andreasabel
[ all ] Rename laboration to lab
d0a31fb 
"laboration" is actually Swedish for "lab work"...

In response to teach-plt/www#3
andreasabel added a commit to teach-plt/lab1-testsuite that referenced this issue Nov 2, 2024
@andreasabel
[ all ] Rename laboration to lab
f920cc9 
"laboration" is actually Swedish for "lab work"...

In response to teach-plt/www#3
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@felixwellen