3 commits

Author	SHA1	Message	Date
Jon Gjengset	71c2048cc0	mv github .github ... This should make it possible to have rust-ci-conf as a remote you merge from.	2022-09-18 11:44:59 -07:00
Jon Gjengset	0f90a0b779	Make everything use checkout@v3	2022-09-17 12:47:38 -07:00
Jon Gjengset	c74ee968a1	Add (only) no-std workflow	2022-09-17 12:38:56 -07:00