Follow

The kind of problem you run into at 3 AM 

Hmm either my .dockerignore is applying recursively to files with the same name in subdirectories(???) or (I think more likely) my updated .dockerignore wasn't pushed in the previous deployment somehow. Strange either way, but fixed now.

Sign in to participate in the conversation
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.