Quinn c77f711982 remove dependency on custom docker container, since it seems to be rather slow ...

I hope to speed things up by using the native ubuntu-latest, but it
might be just as slow, if not slower. In which case I'll likely switch
back.
If it is faster, the dockerfile will be deleted in a subsequent commit.

2025-06-11 17:56:22 +02:00

..

workflows

remove dependency on custom docker container, since it seems to be rather slow

2025-06-11 17:56:22 +02:00

Dockerfile

optimise CI pipeline by removing vcpkg building from the dockerfile.

2025-06-02 12:41:01 +02:00