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

Build: #109 was successful Changes by Chris Richardson and Miklós Homolya

Stages & jobs

  1. Build Stage

  2. Test Stage

Build result summary

Details

Completed
Duration
2 minutes
Labels
None
Revisions
fiat-next
5c15f5cc8ddad0f76f13a7d910df7f71c44b4d8b 5c15f5cc8ddad0f76f13a7d910df7f71c44b4d8b
testing
52840389aa2826fe186559a074859d51918b3bdb 52840389aa2826fe186559a074859d51918b3bdb
Total tests
755
Successful since
#107 ()

Code commits

fiat-next
Author Commit Message Commit date
Chris Richardson Chris Richardson 5c15f5cc8ddad0f76f13a7d910df7f71c44b4d8b 5c15f5cc8ddad0f76f13a7d910df7f71c44b4d8b Merge branch 'chris/simplify-ref-el' into next
Miklós Homolya Miklós Homolya e618dfa5dbb3283b9fc03225338255debddc3d15 e618dfa5dbb3283b9fc03225338255debddc3d15 rearrange branches
Chris Richardson Chris Richardson 8e33e597f585d5d2834cdd9e11b12fb59974eb3a 8e33e597f585d5d2834cdd9e11b12fb59974eb3a Update tests
Chris Richardson Chris Richardson 7a3e53e6073fc0f74a198880a6ecdc98ceb476b0 7a3e53e6073fc0f74a198880a6ecdc98ceb476b0 Flake8
Chris Richardson Chris Richardson bbe46d83c8d96f3d741982fb9280f0114b2d047f bbe46d83c8d96f3d741982fb9280f0114b2d047f Simplify make_lattice