| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Fix some clippy warnings | Philip Munksgaard | 3 years | |
| Age | Commit message | Author | ||
| 2023-01-29 | Fix some clippy warningsHEADmaster | Philip Munksgaard | ||
| 2022-07-04 | Merge pull request #72 from Munksgaard/fix-clippy | Philip Munksgaard | ||
| 2022-07-04 | Fix clippy warnings | Philip Munksgaard | ||
| 2021-03-26 | Merge pull request #70 from Munksgaard/cron | Philip Munksgaard | ||
| 2021-03-26 | Run CI daily | Philip Munksgaard | ||
| 2021-03-22 | Update README.md | Philip Munksgaard | ||
| 2021-03-22 | Merge pull request #69 from Munksgaard/better-ci | Philip Munksgaard | ||
| 2021-03-22 | Fix clippy warnings | Philip Munksgaard | ||
| 2021-03-22 | Use actions-rs instead of plain checkout and cargo | Philip Munksgaard | ||
| 2021-03-22 | Merge pull request #68 from Munksgaard/fmt | Philip Munksgaard | ||
| [...] | ||||
| Clone | ||||
| git@git.laumann.xyz:session-types | ||||
| http://git.laumann.xyz/session-types | ||||
 |
index : session-types | |
| Session Types for Rust |
| summaryrefslogtreecommitdiff |