Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit history

Commits on Feb 4, 2024

• Update github actions too.

  Show description for d0f36da
  thejpster

  committed
  d0f36da

  Copy full SHA for d0f36da

Commits on Jun 25, 2023

• Pull submodules even when formatting.

  Show description for c3d17bc
  thejpster

  committed
  c3d17bc

  Copy full SHA for c3d17bc

Commits on Jan 26, 2020

• Add Github Actions.

  thejpster

  committed
  af4b411

  Copy full SHA for af4b411

Loading