chore: experimental TLA+ proof #1600
SoulPancakemain.yaml
on: push
Annotations
5 errors
|
Test and Build OpenFGA (21)
Process completed with exit code 1.
|
|
Test and Build OpenFGA (25)
The strategy configuration was canceled because "test._21" failed
|
|
Test and Build OpenFGA (25)
The operation was canceled.
|
|
Test and Build OpenFGA (17)
The strategy configuration was canceled because "test._21" failed
|
|
Test and Build OpenFGA (17)
The operation was canceled.
|