mathlib3

1995c7bb - chore(.github/workflows): revert first-run timeout to -T100000 (#16356)

chore(.github/workflows): revert first-run timeout to -T100000 (#16356) This reverts part of #15251, now that #15784 works around the olean issue. Co-authored-by: Junyan Xu <junyanxumath@gmail.com> Co-authored-by: Mauricio Collares <244239+collares@users.noreply.github.com>