Excavator: Update godel to latest version #518

	name: Build

	on:
	push:
	branches: [develop]
	tags-ignore:
	- '**'

	pull_request:
	branches: [develop]

	jobs:
	ci-all:
	runs-on: ubuntu-latest

	env:
	GOPATH: /home/runner/go

	steps:
	- uses: actions/checkout@v4
	with:
	fetch-depth: 0

	- name: Set Go version
	id: go_version
	run: \|
	GO_VERSION=$(sed -E -n '/^go / s/^go ([0-9]+\.[0-9]+)(\.[0-9]+)?$/\1/p' < go.mod)
	echo "version=${GO_VERSION}" >> $GITHUB_OUTPUT

	- name: Set up Go
	uses: actions/setup-go@v5
	with:
	go-version: ${{ steps.go_version.outputs.version }}

	- name: Cache Godel assets
	uses: actions/cache@v4
	with:
	path: ~/.godel
	key: ${{ runner.os }}-godel-${{ hashFiles('godelw', 'godel/config/godel.yml') }}
	restore-keys: \|
	${{ runner.os }}-godel-
	- name: Verify
	run: ./godelw verify --apply=false --skip-test

	- name: Test
	run: ./godelw test

Provide feedback