Skip to content

Actions: JovanGerb/lean4

Actions

Actionlint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
actionlint.yml
1 workflow run
1 workflow run

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: switching List lookup normal forms to L[n] and L[n]? (#4400) Actionlint #1: Commit e10a37d pushed by JovanGerb
June 16, 2024 00:29 33s master
master
June 16, 2024 00:29 33s