Install and run tests for FIAT in a Docker container

Build: #6 was successful Changes by Jack S. Hale

Build result summary

Details

Completed
Duration
8 minutes
Labels
None
Revisions
fiat-maint
8a2ac05e2349584fb2f2f2e39e0d732b0017f802 8a2ac05e2349584fb2f2f2e39e0d732b0017f802
testing
b76a994677a0a4f75cd65101dae3681d4873bb18 b76a994677a0a4f75cd65101dae3681d4873bb18
Total tests
1346

Code commits

fiat-maint
Author Commit Message Commit date
Jack S. Hale Jack S. Hale 8a2ac05e2349584fb2f2f2e39e0d732b0017f802 8a2ac05e2349584fb2f2f2e39e0d732b0017f802 Fix RTD.