Install and run tests for FIAT (next) in a Docker container

Build: #105 was successful Changes by Patrick Farrell <patrick@pefarrell.org>

Stages & jobs

  1. Build Stage

  2. Test Stage

Build result summary

Details

Completed
Duration
3 minutes
Labels
None
Revisions
fiat-next
5934f3a26508cb8153a829ce0b6020e2a38c8aef 5934f3a26508cb8153a829ce0b6020e2a38c8aef
testing
7363ee183a9a53250e30f7321fef3c2b935d62dc 7363ee183a9a53250e30f7321fef3c2b935d62dc
Total tests
755
Successful since
#104 ()

Code commits

fiat-next
Author Commit Message Commit date
Patrick Farrell &lt;patrick@pefarrell.org&gt; Patrick Farrell <patrick@pefarrell.org> d60abd9031d0781f6958093fdbb9e40b322da6c2 d60abd9031d0781f6958093fdbb9e40b322da6c2 Fix docstrings