adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

github: distinguish proof PR checks from deployment run 

Currently both workflows have the name "Proofs" which is confusing
in the GitHub UI.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2023-06-06 10:08:57 +10:00 committed by Gerwin Klein
parent 9752444a81
commit 443706fae8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/proof.yml vendored
View File

@ -2,7 +2,7 @@
#
# SPDX-License-Identifier: BSD-2-Clause
name: Proofs
name: Proof PR
on:
push: