fix workflows (#330)

.github/workflows/test-external.yml

@@ -3,8 +3,6 @@ name: Test external projects
 on:
   push:
     branches: [main, chore-workflows]
-    paths:
-      - .github/workflows/test-external.yml
   workflow_dispatch:
     inputs:
       halmos-options:

.github/workflows/test-ffi.yml

@@ -3,8 +3,6 @@ name: Test FFI
 on:
   push:
     branches: [main, chore-workflows]
-    paths:
-      - .github/workflows/test-ffi.yml
   pull_request:
     branches: [main]
   workflow_dispatch:

.github/workflows/test-long.yml

@@ -3,8 +3,6 @@ name: Test long
 on:
   push:
     branches: [main, chore-workflows]
-    paths:
-      - .github/workflows/test-long.yml
   workflow_dispatch:
     inputs:
       halmos-options:

.github/workflows/test.yml

@@ -3,8 +3,6 @@ name: Test
 on:
   push:
     branches: [main, chore-workflows]
-    paths:
-      - .github/workflows/test.yml
   pull_request:
     branches: [main]
   workflow_dispatch:
@@ -28,7 +26,7 @@ jobs:
       fail-fast: false
       matrix:
         os: ["macos-latest", "ubuntu-latest", "windows-latest"]
-        python-version: ["3.9", "3.10", "3.11", "3.12"]
+        python-version: ["3.11", "3.12"]
         parallel: ["", "--test-parallel"]
         storage-layout: ["solidity", "generic"]
 

.gitmodules

@@ -1,18 +1,24 @@
 [submodule "tests/lib/forge-std"]
 	path = tests/lib/forge-std
 	url = https://github.com/foundry-rs/forge-std
+	shallow = true
 [submodule "tests/lib/halmos-cheatcodes"]
 	path = tests/lib/halmos-cheatcodes
 	url = https://github.com/a16z/halmos-cheatcodes
+	shallow = true
 [submodule "tests/lib/openzeppelin-contracts"]
 	path = tests/lib/openzeppelin-contracts
 	url = https://github.com/OpenZeppelin/openzeppelin-contracts
+	shallow = true
 [submodule "tests/lib/solmate"]
 	path = tests/lib/solmate
 	url = https://github.com/transmissions11/solmate
+	shallow = true
 [submodule "tests/lib/solady"]
 	path = tests/lib/solady
 	url = https://github.com/Vectorized/solady
+	shallow = true
 [submodule "tests/lib/multicaller"]
 	path = tests/lib/multicaller
 	url = https://github.com/Vectorized/multicaller
+	shallow = true

packages/halmos-builder/Dockerfile

@@ -18,4 +18,3 @@ COPY --from=ghcr.io/foundry-rs/foundry:latest \
 ADD --chmod=755 https://astral.sh/uv/install.sh /install.sh
 RUN /install.sh && rm /install.sh
 ENV PATH="/root/.cargo/bin:${PATH}"
-

packages/halmos/Dockerfile

@@ -1,7 +1,4 @@
-# FROM ghcr.io/a16z/halmos-builder:latest
-
-# TODO: switch to :latest as soon as the image is available
-FROM ghcr.io/a16z/halmos-builder:chore-workflows
+FROM ghcr.io/a16z/halmos-builder:latest
 
 # Enable the virtual environment
 ENV PATH="/halmos/.venv/bin:$PATH"

pyproject.toml

@@ -20,7 +20,7 @@ classifiers = [
     "License :: OSI Approved :: GNU Affero General Public License v3",
     "Operating System :: OS Independent",
 ]
-requires-python = ">=3.9"
+requires-python = ">=3.11"
 dependencies = [
     "sortedcontainers>=2.4.0",
     "toml>=0.10.2",
@@ -35,7 +35,7 @@ halmos = "halmos.__main__:main"
 "Homepage" = "https://github.com/a16z/halmos"
 
 [tool.black]
-target-version = ["py39", "py310", "py311", "py312"]
+target-version = ["py311", "py312"]
 
 [tool.pytest.ini_options]
 # TODO: re-add test_traces.py when we have a better way to support it in CI