Cargo Update and PR #14

	name: Cargo Update and PR

	on:
	schedule:
	- cron: '0 4 * * 1' # Tous les lundis à 4h00 UTC
	workflow_dispatch: # Déclenchement manuel possible

	jobs:
	cargo-update:
	runs-on: ubuntu-latest

	steps:
	- name: Checkout repository
	uses: actions/checkout@v4

	- name: Install system dependencies
	run: \|
	sudo apt-get update
	sudo apt-get -y install curl g++ git libssl-dev pkg-config

	- name: Set up Rust
	uses: actions-rs/toolchain@v1
	with:
	toolchain: stable
	override: true

	- name: Install sp1up if needed
	run: \|
	if ! ~/.sp1/bin/cargo-prove prove -V 2>/dev/null \| grep -q "38f0f14"; then
	curl -L https://sp1up.succinct.xyz \| bash
	~/.sp1/bin/sp1up
	fi

	- name: Run cargo update
	run: cargo update

	- name: Run custom cargo build
	run: cargo build -F nobuild --bin degen_party --bin prover --verbose

	- name: Run cargo tests
	run: cargo test --verbose

	- name: Commit changes
	run: \|
	git config user.name "github-actions[bot]"
	git config user.email "github-actions[bot]@users.noreply.github.com"
	git checkout -b cargo-update-$(date +%Y%m%d)
	git add Cargo.lock
	git commit -m "chore: cargo update on $(date +'%Y-%m-%d')"
	git push origin HEAD

	- name: Create Pull Request
	uses: peter-evans/create-pull-request@v6
	with:
	commit-message: "chore: cargo update on $(date +'%Y-%m-%d')"
	branch: cargo-update-$(date +%Y%m%d)
	title: "chore: Cargo update on $(date +'%Y-%m-%d')"
	body: \|
	Automatic `cargo update` to refresh dependencies.
	Custom build flags and sp1up setup included.
	labels: \|
	dependencies
	automated-pr

Provide feedback