mathlibtools/lib.py
def find_exact(self, rev: Commit) -> Optional[OleanCache]:
        """ Find a cache that is for `rev` exactly """
        log.info(f"Looking for {self.name} oleans for {short_sha(rev)}")
        if not self.force_download:
            log.info(f'  locally...')
            try:
                local_c = LocalOleanCache(self, rev)
            except LookupError:
                pass
            else:
                log.info(f'  Found local {self.name} oleans')
                return local_c

        if self.cache_url is not None:
            log.info('  remotely...')
            try:
                remote_c = RemoteOleanCache(self, rev)
            except requests.HTTPError:
                pass
            else:
                log.info(f'  Found remote {self.name} oleans')
                return remote_c

        return None
 Find a cache that is for `rev` exactly 
Find a cache that is for `rev` exactly
Find a cache that is for ` rev ` exactly
def find_exact(self, rev: Commit) -> Optional[OleanCache]:
        log.info(f"Looking for {self.name} oleans for {short_sha(rev)}")
        if not self.force_download:
            log.info(f'  locally...')
            try:
                local_c = LocalOleanCache(self, rev)
            except LookupError:
                pass
            else:
                log.info(f'  Found local {self.name} oleans')
                return local_c
        if self.cache_url is not None:
            log.info('  remotely...')
            try:
                remote_c = RemoteOleanCache(self, rev)
            except requests.HTTPError:
                pass
            else:
                log.info(f'  Found remote {self.name} oleans')
                return remote_c
        return None
def find_exact ( self , rev : Commit ) -> Optional [ OleanCache ] : log . info ( f"Looking for {self.name} oleans for {short_sha(rev)}" ) if not self . force_download : log . info ( f'  locally...' ) try : local_c = LocalOleanCache ( self , rev ) except LookupError : pass else : log . info ( f'  Found local {self.name} oleans' ) return local_c if self . cache_url is not None : log . info ( '  remotely...' ) try : remote_c = RemoteOleanCache ( self , rev ) except requests . HTTPError : pass else : log . info ( f'  Found remote {self.name} oleans' ) return remote_c return None
Find a cache that is for `rev` exactly
Find a cache that is for ` rev ` exactly
""" Find a cache that is for `rev` exactly """
self
rev
Commit