Skip to content

Actions: exercism/idris

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
393 workflow runs
393 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #1263014825 Dependabot Updates #16: by dependabot bot
28s main
main
28s
bin/verify-exercises-in-docker Configlet #327: Pull request #246 opened by keiravillekode
13s keiravillekode:verify-exercises-in-docker
keiravillekode:verify-exercises-in-docker
13s
bin/verify-exercises-in-docker idris / pre-commit checks #53: Pull request #246 opened by keiravillekode
19s keiravillekode:verify-exercises-in-docker
keiravillekode:verify-exercises-in-docker
19s
bin/verify-exercises-in-docker idris / ci #114: Pull request #246 opened by keiravillekode
5m 30s keiravillekode:verify-exercises-in-docker
keiravillekode:verify-exercises-in-docker
5m 30s
bin/verify-exercises-in-docker Pause Community Contributions #128: Pull request #246 opened by keiravillekode
6s
6s
bin/verify-exercises-in-docker Ping cross-track maintainers team #53: Pull request #246 opened by keiravillekode
7s
7s
Add contrib dependency to all exercises (#245) Configlet #326: Commit cac1d5e pushed by keiravillekode
12s main
main
12s
Add contrib dependency to all exercises (#245) idris / pre-commit checks #52: Commit cac1d5e pushed by keiravillekode
24s main
main
24s
Add contrib dependency to all exercises (#245) idris / ci #113: Commit cac1d5e pushed by keiravillekode
5m 25s main
main
5m 25s
Add contrib dependency to all exercises Configlet #325: Pull request #245 reopened by keiravillekode
15s FranklinChen:add-contrib-dependency
FranklinChen:add-contrib-dependency
15s
Add contrib dependency to all exercises idris / ci #112: Pull request #245 reopened by keiravillekode
5m 16s FranklinChen:add-contrib-dependency
FranklinChen:add-contrib-dependency
5m 16s
Add contrib dependency to all exercises idris / pre-commit checks #51: Pull request #245 reopened by keiravillekode
24s FranklinChen:add-contrib-dependency
FranklinChen:add-contrib-dependency
24s
Copilot code review Copilot code review #1: by Copilot AI
2m 57s refs/pull/245/head
refs/pull/245/head
2m 57s
Add contrib dependency to all exercises Ping cross-track maintainers team #52: Pull request #245 opened by FranklinChen
9s
9s
Add contrib dependency to all exercises No important files changed #77: Pull request #245 opened by FranklinChen
15s
15s
Add contrib dependency to all exercises Pause Community Contributions #127: Pull request #245 opened by FranklinChen
9s
9s
github_actions in /. - Update #1229004228 Dependabot Updates #15: by dependabot bot
26s main
main
26s
Sync perfect-numbers test Configlet #323: Pull request #244 opened by keiravillekode
11s keiravillekode:sync-perfect-numbers
keiravillekode:sync-perfect-numbers
11s
Sync perfect-numbers test idris / pre-commit checks #49: Pull request #244 opened by keiravillekode
23s keiravillekode:sync-perfect-numbers
keiravillekode:sync-perfect-numbers
23s
Sync perfect-numbers test idris / ci #110: Pull request #244 opened by keiravillekode
5m 43s keiravillekode:sync-perfect-numbers
keiravillekode:sync-perfect-numbers
5m 43s
Sync perfect-numbers test Pause Community Contributions #126: Pull request #244 opened by keiravillekode
8s
8s
Sync perfect-numbers test No important files changed #76: Pull request #244 opened by keiravillekode
8s
8s
Sync perfect-numbers test Ping cross-track maintainers team #51: Pull request #244 opened by keiravillekode
9s
9s
Bump actions/cache from 4 to 5 (#242) Configlet #322: Commit 5926a1a pushed by keiravillekode
10s main
main
10s
Bump actions/cache from 4 to 5 (#242) idris / ci #109: Commit 5926a1a pushed by keiravillekode
5m 40s main
main
5m 40s