Google GitHub Admin: Actions Workflow Security Scan

Link formal proof of Beck-Fiala theorem #7526

Sign in to view logs

This workflow is awaiting approval from a maintainer in #5305

Triggered via pull request September 7, 2026 02:17

Lemmy00

opened #5305

Lemmy00:milikic/beck-fiala-formal-proof

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #5305

action_scanning.yml Required

on: pull_request