Stratus3D

Software Engineering, Web Development and 3D Design

Running Dialyzer for Elixir Projects in GitHub Actions

I recently published an article on the Code for RentPath blog about running Dialyzer with GitHub Actions.

In this blog post I’ll show you how to set up GitHub Actions to perform type analysis on an Elixir project with Dialyzer. I’ll also share optimal settings for Dialyzer PLT caching.

Running automated tests for every commit or pull request has become common practice and is a good way to validate the correctness of your Erlang or Elixir software. Type checking with Dialyzer is another way to ensure the quality of your code changes.

I have previously written about how to run Dialyzer in a Jenkins build and here I’ll share how to do the same with a GitHub workflow.

Read the rest of the article on blog.rentpathcode.com.

Living Without a Smartphone

In January of 2020 I switched from a smartphone to a dumb phone. I purchased an Alcatel GO Flip 2 flip phone and, after a couple weeks of figuring out how to live without my smartphone, put my smartphone away in a box in the closet. I still own a smartphone but I only use it a couple times a year when I need to test something on a mobile app for work. While the transition wasn’t fun I think it was worth doing and things did get easier over time. It has been 14 months since I switched to a dumb phone exclusively, so I wanted to write a series of blog posts on the struggles of transitioning to a simpler phone and the benefits I have observed as a result.

image of my flip phone

Migration to OpalStack

In early October I got notified that WebFaction, the hosting company I was using, was migrating all accounts to tsoHost by June 2021. I had really liked WebFaction so I was disappointed to hear this. Then on October 16th WebFaction emailed me again saying that my account could not be migrated to tsoHost because I was using some WebFaction features that were not available on tsoHost. Because my account could not be migrated it would be closed by December 9th, 2020! This gave me less than 60 days to find a new hosting company and move all my sites over to it. I have about a dozen sites so it was going to take a while to get everything moved.