Skip to content

Actions: thorimur/std4

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
52 workflow runs
52 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: update code action to match main ci #2: Commit 3b3d292 pushed by thorimur
September 11, 2023 08:59 3m 11s try-these
try-these
September 11, 2023 08:59 3m 11s
chore: bump to Lean v4.0.0 (#250) ci #1: Commit 28459f7 pushed by thorimur
September 11, 2023 08:55 2m 12s main
main
September 11, 2023 08:55 2m 12s