From 75ce9ef8e940ce9fb175ae41db1d3d63bb4fd3c2 Mon Sep 17 00:00:00 2001 From: Hadrien Croubois Date: Fri, 9 Sep 2022 13:52:59 +0200 Subject: [PATCH] name --- .github/workflows/changelog.yml | 2 +- .github/workflows/checks.yml | 2 +- .github/workflows/formal-verifiation.yml | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/changelog.yml b/.github/workflows/changelog.yml index 3523a2a06..b2e5ed57a 100644 --- a/.github/workflows/changelog.yml +++ b/.github/workflows/changelog.yml @@ -1,4 +1,4 @@ -name: changelog +name: Changelog on: pull_request: diff --git a/.github/workflows/checks.yml b/.github/workflows/checks.yml index 6be2fd722..22e5d5039 100644 --- a/.github/workflows/checks.yml +++ b/.github/workflows/checks.yml @@ -1,4 +1,4 @@ -name: checks +name: Checks on: push: diff --git a/.github/workflows/formal-verifiation.yml b/.github/workflows/formal-verifiation.yml index 3c9fe6fac..10b6bcee7 100644 --- a/.github/workflows/formal-verifiation.yml +++ b/.github/workflows/formal-verifiation.yml @@ -1,4 +1,4 @@ -name: formal verification +name: Formal verification on: push: