examples/timer: remove duplicate variable from meta.py #2362

	# Copyright 2024, UNSW
	#
	# SPDX-License-Identifier: BSD-2-Clause

	# Actions to only run on GitHub pull requests

	name: PR

	on: [pull_request]

	env:
	ZIG_VERSION: 0.15.1

	jobs:
	whitespace:
	name: 'Trailing Whitespace'
	runs-on: ubuntu-latest
	steps:
	- uses: seL4/ci-actions/git-diff-check@master

	style_c:
	name: Style (C)
	runs-on: ubuntu-24.04
	steps:
	- name: Checkout repository
	# We use this form as this creates a "test-revision" rev in the git repo,
	# which we can use to compare against. Also, git-clang-format only diffs
	# changed files, so we need a proper checkout.
	run: \|
	curl https://raw.githubusercontent.com/seL4/ci-actions/master/scripts/checkout.sh \| bash
	curl https://raw.githubusercontent.com/seL4/ci-actions/master/scripts/fetch-base.sh \| bash
	git rev-parse test-revision

	- name: Ensure clang-format-18
	run: \|
	clang-format-18 --version

	- name: Check formatting
	run: \|
	git clang-format-18 --diff ${GITHUB_BASE_REF} test-revision --verbose

	style_zig:
	name: Style (Zig)
	runs-on: ubuntu-24.04
	steps:
	- name: Checkout repository
	uses: actions/checkout@v4
	- name: Install Zig
	uses: mlugg/[email protected]
	with:
	version: ${{ env.ZIG_VERSION }}

	- name: Ensure zig version
	run: zig version
	- name: Check formatting
	run: zig fmt . --check

	style_python:
	name: Style (Python)
	runs-on: ubuntu-24.04
	steps:
	- name: Checkout repository
	uses: actions/checkout@v4
	- uses: psf/black@stable
	with:
	# black guarantees formatting stability within a calendar year version
	version: "~= 25.0"

Provide feedback