Skip to content

Update GitHub actions, get rid of build_and_push.sh#12

Open
Niek wants to merge 1 commit intocaprover:masterfrom
Niek:action-update
Open

Update GitHub actions, get rid of `build_and_push.sh`#12
Niek wants to merge 1 commit intocaprover:masterfrom
Niek:action-update

Commits

Commits on Jul 3, 2025