Skip to content

Actions: exercism/idris-test-runner

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
107 workflow runs
107 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update pack nightly and add contrib package (#41) Deploy #39: Commit aa6f132 pushed by keiravillekode
2m 11s main
main
2m 11s
Update pack nightly and add contrib package (#41) CI #88: Commit aa6f132 pushed by keiravillekode
2m 58s main
main
2m 58s
Update pack nightly and add contrib package CI #87: Pull request #41 reopened by keiravillekode
2m 28s FranklinChen:add-contrib-and-update-pack
FranklinChen:add-contrib-and-update-pack
2m 28s
Copilot code review Copilot code review #1: by Copilot AI
2m 15s refs/pull/41/head
refs/pull/41/head
2m 15s
Update pack nightly and add contrib package Pause Community Contributions #41: Pull request #41 opened by FranklinChen
11s
11s
Update pack nightly and add contrib package Ping cross-track maintainers team #21: Pull request #41 opened by FranklinChen
7s
7s
Bump actions/checkout from 6.0.1 to 6.0.2 (#40) Deploy #38: Commit 6f297e7 pushed by keiravillekode
1m 17s main
main
1m 17s
Bump actions/checkout from 6.0.1 to 6.0.2 (#40) CI #85: Commit 6f297e7 pushed by keiravillekode
1m 47s main
main
1m 47s
Bump actions/checkout from 6.0.1 to 6.0.2 CI #84: Pull request #40 opened by dependabot bot
1m 47s dependabot/github_actions/actions/checkout-6.0.2
dependabot/github_actions/actions/checkout-6.0.2
1m 47s
Bump actions/checkout from 6.0.1 to 6.0.2 Ping cross-track maintainers team #20: Pull request #40 opened by dependabot bot
11s
11s
Bump actions/checkout from 6.0.1 to 6.0.2 Pause Community Contributions #40: Pull request #40 opened by dependabot bot
10s
10s
github_actions in /. - Update #1228737551 Dependabot Updates #78: by dependabot bot
30s main
main
30s
setup-buildx-action no longer needs install (#39) Deploy #37: Commit ec0ad04 pushed by keiravillekode
1m 10s main
main
1m 10s
setup-buildx-action no longer needs install (#39) CI #83: Commit ec0ad04 pushed by keiravillekode
1m 29s main
main
1m 29s
setup-buildx-action no longer needs install Pause Community Contributions #39: Pull request #39 opened by keiravillekode
7s
7s
setup-buildx-action no longer needs install CI #82: Pull request #39 opened by keiravillekode
1m 31s keiravillekode:update-setup-buildx-action
keiravillekode:update-setup-buildx-action
1m 31s
setup-buildx-action no longer needs install Ping cross-track maintainers team #19: Pull request #39 opened by keiravillekode
7s
7s
Bump actions/checkout from 6.0.0 to 6.0.1 (#38) Deploy #36: Commit c279471 pushed by keiravillekode
1m 14s main
main
1m 14s
Bump actions/checkout from 6.0.0 to 6.0.1 (#38) CI #81: Commit c279471 pushed by keiravillekode
1m 11s main
main
1m 11s
Bump actions/checkout from 6.0.0 to 6.0.1 CI #80: Pull request #38 synchronize by dependabot bot
1m 2s dependabot/github_actions/actions/checkout-6.0.1
dependabot/github_actions/actions/checkout-6.0.1
1m 2s
github_actions in / for actions/checkout - Update #1195973918 Dependabot Updates #77: by dependabot bot
31s main
main
31s
github_actions in / for actions/checkout - Update #1195973872 Dependabot Updates #76: by dependabot bot
29s main
main
29s
Bump docker/setup-buildx-action from 3.11.1 to 3.12.0 (#37) Deploy #35: Commit 0df245d pushed by keiravillekode
1m 23s main
main
1m 23s
Bump docker/setup-buildx-action from 3.11.1 to 3.12.0 (#37) CI #79: Commit 0df245d pushed by keiravillekode
1m 4s main
main
1m 4s
Bump actions/checkout from 6.0.0 to 6.0.1 CI #78: Pull request #38 opened by dependabot bot
1m 12s dependabot/github_actions/actions/checkout-6.0.1
dependabot/github_actions/actions/checkout-6.0.1
1m 12s