| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Merge pull request #70 from Munksgaard/cron | Philip Munksgaard | 4 years | |
| Age | Commit message | Author | ||
| 2021-03-26 | Merge pull request #70 from Munksgaard/cronHEADmaster | 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 | ||
| 2021-03-22 | Apply formatting | Philip Munksgaard | ||
| 2021-03-22 | Add formatting check to CI | Philip Munksgaard | ||
| 2021-03-22 | Merge pull request #67 from Munksgaard/bump-deps | Philip Munksgaard | ||
| [...] | ||||
| Clone | ||||
| git@git.laumann.xyz:session-types | ||||
| http://git.laumann.xyz/session-types | ||||
 |
index : session-types | |
| Session Types for Rust |
| summaryrefslogtreecommitdiff |