Skip to content
Deploy AreWeSafetyCriticalYet.org to GitHub Pages

Add Verus to tools list (#629) #148

Sign in to view logs

Add Verus to tools list (#629)

Add Verus to tools list (#629) #148

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Deploy AreWeSafetyCriticalYet.org to GitHub Pages
1m 24s
1m 24s