aboutsummaryrefslogtreecommitdiffstats
path: root/ci.sh
Commit message (Expand)AuthorAgeFilesLines
* ci: add command-line argumentsRodrigo Alejandro Melo2020-10-031-1/+31
* ci: fix synth_formal.dockerfile URLeine2020-07-241-1/+1
* ci: use image with pre-built GHDL (#81)eine2020-01-211-55/+24
* migrate from Travis to GHA and rework examples (#78)eine2020-01-191-0/+90