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