Commit Graph
5 Commits
Author SHA1 Message Date
Leo Alt f72e61ccbe update z3 in docker files 2023-04-05 14:56:03 +02:00
Rodrigo Q. Saramago b1f728efcd Remove hera build 2023-01-12 11:47:14 +01:00
Rodrigo Q. Saramago b07ccd56e1 Add CLN library 2023-01-12 11:47:14 +01:00
Rodrigo Q. Saramago 0178024903 Reset label version for new image 2023-01-12 11:47:14 +01:00
Rodrigo Q. Saramago 904afd8963 Rename ubuntu dockerfiles 2023-01-12 11:47:14 +01:00