Workflow runs · digama0/lean-sys · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

4 workflow runs

4 workflow runs

clippy fixes Build #28: Commit cb1a8e4 pushed by digama0

53s main

main

53s

fix CI Build #27: Commit b4e608f pushed by digama0

44s main

main

44s

update to 4.23.0 Build #26: Commit a69a81a pushed by digama0

12s main

main

12s

version 0.0.8 Build #25: Commit dd7ff0c pushed by digama0

41s main

main

41s