Challenge 23: Verify Vec Part1 safety with Kani #1852

	name: VeriFast

	on:
	workflow_dispatch:
	merge_group:
	pull_request:
	branches: [ main ]
	push:
	paths:
	- 'library/**'
	- '.github/workflows/verifast.yml'
	- 'verifast-proofs/**'

	defaults:
	run:
	shell: bash

	jobs:
	check-verifast-on-std:
	name: Verify std library
	runs-on: ubuntu-latest

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

	- name: Run VeriFast Verification
	run: verifast-proofs/check-verifast-proofs.sh

	notify-btj:
	name: Notify @btj
	runs-on: ubuntu-latest
	needs: check-verifast-on-std
	if: failure()
	permissions:
	id-token: write

	steps:
	- name: Get GitHub OIDC token
	id: get_token
	uses: actions/github-script@v7
	with:
	script: \|
	const audience = 'notify-bart-jacobs';
	return await core.getIDToken(audience);
	result-encoding: string

	- name: Call notification endpoint
	run: \|
	curl -X POST "https://verify-rust-std-verifast-monitor.bart-jacobs.workers.dev/" \
	-H "Authorization: Bearer ${{ steps.get_token.outputs.result }}" \
	-H "Content-Type: application/json" \
	-d '{}'

Navigation Menu