Update code coverage upload #5

	# Copyright (c) Abstract Machines
	# SPDX-License-Identifier: Apache-2.0

	name: Go
	on: [push]
	jobs:
	build:
	name: Build
	runs-on: ubuntu-latest
	steps:

	- name: Set up Go 1.23.x
	uses: actions/setup-go@v5
	with:
	go-version: 1.23.x
	id: go

	- name: Check out code into the Go module directory
	uses: actions/checkout@v4

	- name: Lint
	uses: golangci/golangci-lint-action@v6
	with:
	version: v1.60.3
	args: --config .golangci.yml

	- name: Test
	run: go test -v -race -coverprofile=coverage.txt -covermode=atomic ./...

	- name: Upload coverage
	uses: codecov/[email protected]
	with:
	token: ${{ secrets.CODECOV_TOKEN }}

Provide feedback