Workflow runs · frenzymath/requests · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

15 workflow runs

15 workflow runs

fix: silence curl progress output in get/post Lean Action CI #15: Commit 9edc459 pushed by slashbade

29s main

main

29s

chore: bump to v4.26.0-rc1 Lean Action CI #14: Commit fa75069 pushed by slashbade

24s main

main

24s

Merge pull request #1 from frenzymath/v4.25.0-rc2 Lean Action CI #13: Commit 0ec6178 pushed by slashbade

27s main

main

27s

chore: bump to v4.25.0-rc2 Lean Action CI #12: Pull request #1 opened by slashbade

33s v4.25.0-rc2

v4.25.0-rc2

33s

chore: bump to v4.25.0-rc2 Lean Action CI #11: Commit c831449 pushed by slashbade

26s v4.25.0-rc2

v4.25.0-rc2

26s

chore: bump to v4.24.0 Lean Action CI #10: Commit 12ccf76 pushed by slashbade

28s v4.24.0

v4.24.0

28s

chore: bump to v4.24.0 Lean Action CI #9: Commit 12ccf76 pushed by slashbade

19s main

main

19s

Add Apache License 2.0 Lean Action CI #8: Commit 82d877d pushed by slashbade

23s main

main

23s

chore: bump lean toolchain to v4.24.0-rc1 | fix warnings for `Std.Tre… Lean Action CI #7: Commit 6df9878 pushed by slashbade

24s main

main

24s

ci: add test Lean Action CI #6: Commit 5b32197 pushed by slashbade

18s v4.16.0

v4.16.0

18s

ci: add test Lean Action CI #5: Commit 5b32197 pushed by slashbade

19s main

main

19s

fix: ci Lean Action CI #4: Commit 1ed1b4e pushed by slashbade

16s main

main

16s

fix: remove Main.lean for build err Lean Action CI #3: Commit 75fcd59 pushed by slashbade

15s main

main

15s

refactor: use more instance Lean Action CI #2: Commit f9e8e46 pushed by slashbade

16s main

main

16s

first commit Lean Action CI #1: Commit cefc868 pushed by slashbade

19s main

main

19s