Commit graph

2 commits

Author SHA1 Message Date
Jon Gjengset
0f90a0b779 Make everything use checkout@v3 2022-09-17 12:47:38 -07:00
Jon Gjengset
77079d77cb Add (only) miri workflow 2022-09-17 12:36:29 -07:00