Reference for Pesachim 140:5

תניא יהודה בן דורתאי פירש הוא ודורתאי בנו והלך וישב לו בדרום אמר אם יבוא אליהו ויאמר להם לישראל מפני מה לא חגגתם חגיגה בשבת מה הן אומרים לו תמהני על שני גדולי הדור שמעיה ואבטליון שהן חכמים גדולים ודרשנין גדולים ולא אמרו להן לישראל חגיגה דוחה את השבת

Jastrow