5 Commits

Author	SHA1	Message	Date
Dan Gohman	ffc5cd966d	Only run the push CI on the main branch.	2021-11-03 13:44:17 -07:00
Dan Gohman	dce54115af	Add a "std" feature to be friendlier for cargo nono.	2021-08-25 10:37:48 -07:00
bjorn3	b110a1900a	Use cty instead of libc for c types	2021-08-23 04:31:59 -07:00
bjorn3	963b82965b	Add #![no_std] support	2021-08-23 04:31:59 -07:00
bjorn3	181585dc3a	Add CI (#3) ... * Do a partial clone of linux This saves a lot of disk space. The git dir for the partial clone after all relevant versions have been checked out is 1.7GB. * Do a sparse checkout of linux This saves a lot of disk space. The git dir for the partial clone after all relevant versions have been checked out is <800MB. * Fix typo * Fix checkout on CI * Add CI * Make generation deterministic Directory iteration order is non-deterministic. In practice it depends on the exact order in which dir entries have been created. Sort the output of fs::read_dir to ensure that generation is deterministic across systems. * Check for linux/.git * Build generator in release mode * Switch to cargo check	2021-08-22 07:47:08 -07:00