Skip to content

Activity

Improve socials

bashpushed 3 commits to redesign • d54b191…f6f3485 • 
on Jul 22, 2024

Ship inter as webfont

bashpushed 2 commits to redesign • f192eb7…d54b191 • 
on Jul 22, 2024

Remove list styling from post list

Force push
bashforce pushed to redesign • b81fb76…f192eb7 • 
on Jul 22, 2024

Refactor anchors

bashpushed 1 commit to redesign • 379312c…b81fb76 • 
on Jul 22, 2024

Revert "Deploy to GitHub Pages"

bashpushed 1 commit to redesign • a2b7117…379312c • 
on Jul 15, 2024

Deleted branch

bashdeleted check-links-job • 
on Jul 15, 2024

More verbose job name

Force push
bashforce pushed to check-links-job • b0dcc21…1d65bce • 
on Jul 15, 2024

Deleted branch

bashdeleted gh-pages-action • 
on Jul 15, 2024

Deleted branch

bashdeleted gh-pages-action-2 • 
on Jul 15, 2024

Use correct version of upload-pages-artifact action

bashcreated gh-pages-action-2 • 5f5767e • 
on Jul 15, 2024

Deploy to GitHub Pages directly via Action

bashcreated gh-pages-action • 760d51f • 
on Jul 15, 2024

Cleanup II

bashpushed 1 commit to redesign • 9c917fb…a2b7117 • 
on Jul 12, 2024

Start cleaning things up

bashpushed 1 commit to redesign • b5b0895…9c917fb • 
on Jul 12, 2024

Prevent code elements from messing up things on mobile

bashpushed 1 commit to redesign • 4a0cc90…b5b0895 • 
on Jul 11, 2024

Fix responsiveness

bashpushed 1 commit to redesign • 82464b7…4a0cc90 • 
on Jul 11, 2024

Relative url

bashpushed 1 commit to redesign • c50b15e…82464b7 • 
on Jul 11, 2024

Make link to home config dependent

bashpushed 1 commit to redesign • 065d205…c50b15e • 
on Jul 11, 2024

Deploy to GitHub Pages

Force push
bashforce pushed to redesign • 3625c14…065d205 • 
on Jul 11, 2024

Deploy to GitHub Pages

Force push
bashforce pushed to redesign • b873113…3625c14 • 
on Jul 11, 2024

Deploy to GitHub Pages

Force push
bashforce pushed to redesign • b2b9dea…b873113 • 
on Jul 11, 2024

Deploy to GitHub Pages

Force push
bashforce pushed to redesign • 0cfba33…b2b9dea • 
on Jul 11, 2024

Deploy to GitHub Pages

Force push
bashforce pushed to redesign • d6a9e23…0cfba33 • 
on Jul 11, 2024

Deploy to GitHub Pages

bashpushed 1 commit to redesign • ecde361…d6a9e23 • 
on Jul 11, 2024

WIP

Force push
bashforce pushed to redesign • d7869fc…ecde361 • 
on Jul 11, 2024

WIP

bashpushed 1 commit to redesign • a596938…d7869fc • 
on Jul 11, 2024

WIP

bashcreated redesign • a596938 • 
on Jul 10, 2024

Deleted branch

bashdeleted video-figure • 
on Jul 7, 2024

Deleted branch

bashdeleted fix-comment • 
on Jul 7, 2024

Unify shortcode examples

Force push
bashforce pushed to video-figure • 1068b06…82cd6b1 • 
on Jul 7, 2024

Unify shortcode examples

Force push
bashforce pushed to video-figure • a8dbe8f…1068b06 • 
on Jul 7, 2024