Skip to content

Actions: exercism/idris

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
388 workflow runs
388 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Bump actions/cache from 4 to 5 (#242) idris / pre-commit checks #48: Commit 5926a1a pushed by keiravillekode
18s main
main
18s
Bump actions/checkout from 5 to 6 (#243) Configlet #321: Commit b6396b2 pushed by keiravillekode
10s main
main
10s
Bump actions/checkout from 5 to 6 (#243) idris / pre-commit checks #47: Commit b6396b2 pushed by keiravillekode
36s main
main
36s
Bump actions/checkout from 5 to 6 (#243) idris / ci #108: Commit b6396b2 pushed by keiravillekode
5m 46s main
main
5m 46s
Bump actions/checkout from 5 to 6 Pause Community Contributions #125: Pull request #243 opened by dependabot bot
5s
5s
Bump actions/checkout from 5 to 6 Ping cross-track maintainers team #50: Pull request #243 opened by dependabot bot
5s
5s