form-dev / form / 18125905461

Builds Branch Commit Type Ran Committer Via Coverage
18125905461 setups-file Merge 22d8c8332 into 9828301c1 Pull #714 web-flow github
54.38
18125653280 pr/flint-version-check Merge 7813cf63b into 9828301c1 Pull #703 web-flow github
54.37
18125265152 master ci: exclude dependency source files from coverage push tueda github
54.37
18089988281 setups-file Merge 6659b15b8 into 93f976e7d Pull #714 web-flow github
53.72
18011167512 setups-file Merge 731f88082 into 93f976e7d Pull #714 web-flow github
53.72
17493402962 master flint: reserve vector capacity to reduce allocations We mostly know the required vector size for the expression pointers. Reserve their size to avoid unnecessary allocations. I don't measure a performance improvement from this, but it is good pr... push jodavies github
53.72
17488833565 comp-native Merge d5204b103 into 77e3d7f7c Pull #706 web-flow github
53.72
17488665070 master readme: fix coveralls badge Also update the URL for the GitHub Actions badge. push jodavies github
53.7
17461278123 badges Merge 2af1c72ff into e3eeea38a Pull #708 web-flow github
53.7
17459702936 flint-reserve Merge 3eab6c87a into e3eeea38a Pull #707 web-flow github
53.7
17459700212 comp-native Merge 8b47c38e1 into e3eeea38a Pull #706 web-flow github
53.7
17451402004 pr/flint-version-check Merge ce61f5155 into e3eeea38a Pull #703 web-flow github
54.36
17450908895 pr/flint-version-check Merge ed1328fb5 into e3eeea38a Pull #703 web-flow github
54.39
17376900067 ci-setup-build-action Merge ada1f0ad9 into e3eeea38a Pull #622 web-flow github
54.37
17338759957 ci-setup-build-action Merge 5fd2e3d04 into e3eeea38a Pull #622 web-flow github
53.73