temp #1

	name: Nightly CI

	on:
	push:
	schedule:
	- cron: "0 0 * * *"
	workflow_dispatch:

	jobs:
	observability:
	name: "User Story - Telemetry"
	runs-on: ubuntu-latest
	steps:
	- name: Deps
	run: 'sudo apt-get update && sudo apt-get install -y jq'
	- name: Install
	run: './extremely-simple-setup.sh && pip install -e ./angr[telemetry]'
	- name: Run
	run: \|
	python3 <<EOF
	from opentelemetry import trace
	from opentelemetry.sdk.trace import TracerProvider
	from opentelemetry.sdk.trace.export import (
	BatchSpanProcessor,
	ConsoleSpanExporter,
	)

	provider = TracerProvider()
	processor = BatchSpanProcessor(ConsoleSpanExporter(out=open('telemetry.json', 'w')))
	provider.add_span_processor(processor)

	# Sets the global default tracer provider
	trace.set_tracer_provider(provider)

	import angr
	p = angr.Project('/bin/true', auto_load_libs=False)
	cfg = p.analyses.CFGFast(normalize=True)
	print(p.analyses.Decompiler('main').codegen.text)
	EOF
	- name: Validate
	run: \|
	jq .name telemetry.json \| grep -m1 CFGFast
	jq .attibutes.\"project.binary_name\" telemetry.json \| grep -m1 /bin/true
	jq .attibutes.\"arg.func\" telemetry.json \| grep -m1 main

Provide feedback