Skip to content

Actions: Kha/lean4

Actions

Check for copyright header

Actions

Loading...

Show workflow options

Create status badge

1 workflow run
1 workflow run
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Incr tactic rc1 Check for copyright header #1: Pull request #7 opened by Kha
May 7, 2024 13:28 27s incr-tactic-rc1
incr-tactic-rc1
May 7, 2024 13:28 27s