summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterMerge pull request #70 from Munksgaard/cronPhilip Munksgaard20 months
 
 
AgeCommit messageAuthor
2021-03-26Merge pull request #70 from Munksgaard/cronHEADmasterPhilip Munksgaard
2021-03-26Run CI dailyPhilip Munksgaard
2021-03-22Update README.mdPhilip Munksgaard
2021-03-22Merge pull request #69 from Munksgaard/better-ciPhilip Munksgaard
2021-03-22Fix clippy warningsPhilip Munksgaard
2021-03-22Use actions-rs instead of plain checkout and cargoPhilip Munksgaard
2021-03-22Merge pull request #68 from Munksgaard/fmtPhilip Munksgaard
2021-03-22Apply formattingPhilip Munksgaard
2021-03-22Add formatting check to CIPhilip Munksgaard
2021-03-22Merge pull request #67 from Munksgaard/bump-depsPhilip Munksgaard
[...]
 
Clone
git@git.laumann.xyz:session-types
http://git.laumann.xyz/session-types