summary refs log tree commit diff stats
path: root/results/scraper/fex/1819
blob: 38916ba4b7e847860fb034336aecdadf8af85574 (plain) (blame)
1
2
Include thunks in CI build
So that PRs like #1812 don't get merged by accident