Every Lindelöf, countably compact space is compact since every open cover can be reduced to a countable subcover and then a finite subcover.
Every Lindelöf, countably compact space is compact. Every open cover can be reduced to a countable subcover. Every open cover can be reduced to then a finite subcover.