Skip to content

update courses - add anu - #640

Merged
bbrcknl merged 4 commits into
masterfrom
update-courses-anu
Nov 12, 2026
Merged

bbrcknl merged 4 commits into
masterfrom
update-courses-anu

Conversation

@bbrcknl

@bbrcknl bbrcknl commented Nov 4, 2026

Copy link
Copy Markdown
Collaborator

update courses - add anu course

update courses - add anu

Signed-off-by: b@brck.nl <b@brck.nl>
@github-actions

github-actions Bot commented Nov 4, 2026

Copy link
Copy Markdown

Preview your changes here

The link checker found some issues!

Running 3 checks (Scripts, Links, Images) in ["_site"] on *.html files...


Checking 633 external links
Checking 1077 internal links
Checking internal link hashes in 57 files
Ran on 131 files!


For the Links > External check, the following failures were found:

* At _site/tools.html:1508:

  External link https://www.kry10.com/resources failed (status code 404)

* At _site/tools.html:1620:

  External link https://www.kry10.com/resources failed (status code 404)


HTML-Proofer found 2 failures!
make: *** [Makefile:98: checklinks] Error 1

@bbrcknl

bbrcknl commented Nov 4, 2026

Copy link
Copy Markdown
Collaborator Author

Have written to Ihor @ Kry10 to ask for updated links

@bbrcknl
bbrcknl marked this pull request as ready for review November 5, 2026 21:57
@github-actions

github-actions Bot commented Nov 5, 2026

Copy link
Copy Markdown

Preview your changes here

@june-andronick june-andronick left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just a small comment to keep a clear link to seL4 for all advertised courses

Comment thread Research/courses.html Resolved
bbrcknl and others added 2 commits November 13, 2026 07:05
Co-authored-by: June Andronick <june@sel4.systems>
Signed-off-by: bbrcknl <32238793+bbrcknl@users.noreply.github.com>
@github-actions

Copy link
Copy Markdown

Preview your changes here

@bbrcknl
bbrcknl merged commit 63a4c78 into master Nov 12, 2026
11 checks passed
@bbrcknl
bbrcknl deleted the update-courses-anu branch November 12, 2026 20:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants