Martin Geisler
186d333227
Run builds on both Mac OS and Linux ( #830 )
...
* Run builds on both Mac OS and Linux
This would have helped us catch #570 .
* Fix MacOS CI (#848 )
* Revert unnecessary changes
The changes might be good, but I want to keep this PR small and
focused. If we end up with the extra `cfg` statements, we should
include a comment to let students know what they do: we’re targeting
people new to Rust, so we need to be careful with explanations.
---------
Co-authored-by: Dominik Maier <domenukk@gmail.com>
2023-06-22 10:38:41 +02:00
..
2023-05-25 08:51:12 +00:00
2023-06-13 17:26:56 +00:00
2023-06-14 18:27:07 +00:00
2023-06-06 09:17:55 +00:00
2023-05-23 09:43:57 +00:00
2023-06-21 07:12:59 +00:00
2023-06-13 17:43:08 +00:00
2023-06-09 18:00:33 +00:00
2023-06-21 09:48:05 +01:00
2023-06-22 10:38:41 +02:00
2023-03-30 13:25:34 +01:00
2023-06-10 18:01:57 -04:00
2023-03-11 14:12:32 -08:00
2023-05-23 12:57:38 +00:00
2023-04-24 18:51:23 +00:00
2023-06-10 13:31:46 +00:00
2023-04-24 14:46:38 -04:00
2023-06-14 19:37:22 +01:00
2023-04-27 23:46:09 +02:00
2023-06-18 14:37:57 +02:00
2023-05-05 14:59:25 +00:00
2023-06-22 09:05:11 +02:00
2023-05-03 12:00:58 +02:00
2023-02-03 15:51:41 +00:00
2023-05-26 11:59:12 -04:00
2023-05-02 08:02:28 +02:00
2023-04-14 14:06:50 +00:00
2023-05-02 08:02:28 +02:00
2023-02-03 15:28:38 +00:00
2023-02-03 15:18:03 +00:00
2023-05-02 08:02:28 +02:00
2022-12-21 16:38:28 +01:00
2023-06-14 10:17:29 +01:00
2023-06-01 18:54:41 +00:00
2022-12-21 16:38:28 +01:00
2022-12-21 16:38:28 +01:00
2023-05-24 08:15:08 +00:00
2022-12-21 16:38:28 +01:00
2023-02-09 21:15:47 +00:00
2023-02-16 03:19:25 +00:00
2023-02-14 21:25:06 +00:00
2022-12-21 16:38:28 +01:00
2023-02-17 18:34:35 +09:00
2023-05-11 17:23:01 +00:00
2023-01-23 12:44:07 +00:00
2023-05-19 09:43:44 -04:00
2023-06-14 18:27:07 +00:00
2022-12-21 16:38:28 +01:00
2022-12-21 16:38:28 +01:00
2023-03-30 13:25:34 +01:00
2023-01-30 13:12:51 +00:00
2023-05-26 14:51:05 +00:00
2022-12-26 09:12:00 +01:00
2022-12-21 16:38:28 +01:00
2023-05-24 14:15:46 +00:00
2023-01-17 11:42:31 +00:00