Skip to content

Actions: exercism/lean-test-runner

Actions

Pause Community Contributions

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pause-community-contributions.yml
14 workflow runs
14 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Bump docker/build-push-action from 7.0.0 to 7.1.0 Pause Community Contributions #14: Pull request #14 opened by dependabot Bot
7s
7s
lakefile now accepts an extra file Pause Community Contributions #13: Pull request #13 opened by oxe-i
6s
6s
bump Lean version to 4.29.0 Pause Community Contributions #12: Pull request #12 opened by oxe-i
10s
10s
Bump docker/build-push-action from 6.19.2 to 7.0.0 Pause Community Contributions #11: Pull request #11 opened by dependabot Bot
7s
7s
Bump docker/setup-buildx-action from 3.12.0 to 4.0.0 Pause Community Contributions #10: Pull request #10 opened by dependabot Bot
5s
5s
remove Lean library, pre-build LeanTest Pause Community Contributions #9: Pull request #9 opened by oxe-i
8s
8s
remove curl and git from Docker image Pause Community Contributions #8: Pull request #8 opened by keiravillekode
8s
8s
Bump docker/build-push-action from 6.19.1 to 6.19.2 Pause Community Contributions #7: Pull request #7 opened by dependabot Bot
7s
7s
Bump docker/build-push-action from 6.18.0 to 6.19.1 Pause Community Contributions #6: Pull request #6 opened by dependabot Bot
6s
6s
Bump actions/checkout from 4.2.2 to 6.0.2 Pause Community Contributions #5: Pull request #5 opened by dependabot Bot
12s
12s
Bootstrap lean Pause Community Contributions #4: Pull request #4 opened by tim-br
6s
6s
Bump docker/build-push-action from 6.12.0 to 6.18.0 Pause Community Contributions #3: Pull request #3 opened by dependabot Bot
6s
6s
Bump docker/setup-buildx-action from 3.7.1 to 3.12.0 Pause Community Contributions #2: Pull request #2 opened by dependabot Bot
8s
8s
Bump actions/checkout from 4.2.2 to 6.0.1 Pause Community Contributions #1: Pull request #1 opened by dependabot Bot
9s
9s