Glue on basement workshop floor

I had that problem with a much smaller room. I rented a 5" foot scraper from Home Depot. A lot of work. In the end the glue was scraped off OK, but unsightly glue stains remained.
The solution was to lay creamic tiles.
Your idea of lino would work. An industrial grade should last and, if necessary, could be lino'ed over after a few years of wear.
Add pictures here
<% if( /^image/.test(type) ){ %>
<% } %>
Add image file
Upload is a website for homeowners and building and maintenance pros. It is not affiliated with any of the manufacturers or service providers discussed here. All logos and trade names are the property of their respective owners.