name
This commit is contained in:
2
.github/workflows/changelog.yml
vendored
2
.github/workflows/changelog.yml
vendored
@ -1,4 +1,4 @@
|
|||||||
name: changelog
|
name: Changelog
|
||||||
|
|
||||||
on:
|
on:
|
||||||
pull_request:
|
pull_request:
|
||||||
|
|||||||
2
.github/workflows/checks.yml
vendored
2
.github/workflows/checks.yml
vendored
@ -1,4 +1,4 @@
|
|||||||
name: checks
|
name: Checks
|
||||||
|
|
||||||
on:
|
on:
|
||||||
push:
|
push:
|
||||||
|
|||||||
2
.github/workflows/formal-verifiation.yml
vendored
2
.github/workflows/formal-verifiation.yml
vendored
@ -1,4 +1,4 @@
|
|||||||
name: formal verification
|
name: Formal verification
|
||||||
|
|
||||||
on:
|
on:
|
||||||
push:
|
push:
|
||||||
|
|||||||
Reference in New Issue
Block a user