justfile: init #56

Merged
pederbs merged 3 commits from justfile into main 2024-08-07 12:22:04 +02:00
Owner

![](https://pvv.ntnu.no/~pederbs/tmp/imgs/justfile.svg)
pederbs added 1 commit 2024-08-04 03:31:13 +02:00
pederbs added 2 commits 2024-08-04 17:19:53 +02:00
Author
Owner

![](https://pvv.ntnu.no/~pederbs/tmp/imgs/update-inputs.svg)
pederbs requested review from oysteikt 2024-08-06 21:41:04 +02:00
pederbs requested review from danio 2024-08-06 21:41:04 +02:00
oysteikt approved these changes 2024-08-06 22:42:01 +02:00
pederbs merged commit c6684d5146 into main 2024-08-07 12:22:04 +02:00
pederbs deleted branch justfile 2024-08-07 12:22:05 +02:00
Sign in to join this conversation.
No description provided.