Skip to content

Actions: JovanGerb/lean4

Actions

Update stage0

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
update-stage0.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) Update stage0 #1: Commit e10a37d pushed by JovanGerb
June 16, 2024 00:29 26s master
master
June 16, 2024 00:29 26s