iphydf 8328449c1a chore: Speed up docker builds a bit by reducing layer count. ...

This is especially noticeable on local builds (less so on the github
workers).

2024-01-26 14:13:34 +00:00

..

.gitignore

cleanup: Use memzero(x, s) instead of memset(x, 0, s).

2024-01-24 19:14:32 +00:00

compcert.Dockerfile

chore: Speed up docker builds a bit by reducing layer count.

2024-01-26 14:13:34 +00:00

Makefile

cleanup: Use memzero(x, s) instead of memset(x, 0, s).

2024-01-24 19:14:32 +00:00

run

chore: Speed up docker builds a bit by reducing layer count.

2024-01-26 14:13:34 +00:00