Lean Action CI · Workflow runs · bridgekat/filter-game · GitHub

Actions

All workflows
Workflows
- Create Release Create Release
- Lean Action CI Lean Action CI
- Update Dependencies Update Dependencies
Management
- Caches

Lean Action CI

Actions

Loading...
Loading

lean_action_ci.yml

1 workflow run

1 workflow run

misc: update lean toolchain Lean Action CI #1: Commit f754ea9 pushed by bridgekat

12m 45s main

main

12m 45s