.github/workflows/actions_onlymain.yml

add proof operator (#8) #20

Sign in to view logs

Summary
Jobs
- Converge
Run details
- Usage
- Workflow file

Triggered via push January 24, 2024 13:14

freigeistig

main

Status Success

Total duration 2m 57s

Artifacts –

actions_onlymain.yml

on: push