8000 Workflow runs · exercism/idris · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: exercism/idris

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
562 workflow runs
562 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Create run-configlet-sync.yml (#234)
Configlet #308: Commit 27c8513 pushed by keiravillekode
July 2, 2025 05:49 8s main
July 2, 2025 05:49 8s
Create run-configlet-sync.yml (#234)
idris / pre-commit checks #34: Commit 27c8513 pushed by keiravillekode
July 2, 2025 05:49 20s main
July 2, 2025 05:49 20s
Create run-configlet-sync.yml (#234)
idris / ci #95: Commit 27c8513 pushed by keiravillekode
July 2, 2025 05:49 5m 26s main
July 2, 2025 05:49 5m 26s
Create run-configlet-sync.yml
Configlet #307: Pull request #234 synchronize by jagdish-15
July 2, 2025 05:28 8s jagdish-15:patch-1
July 2, 2025 05:28 8s
Create run-configlet-sync.yml
idris / pre-commit checks #33: Pull request #234 synchronize by jagdish-15
July 2, 2025 05:28 16s jagdish-15:patch-1
July 2, 2025 05:28 16s
Create run-configlet-sync.yml
idris / ci #94: Pull request #234 synchronize by jagdish-15
July 2, 2025 05:28 5m 27s jagdish-15:patch-1
July 2, 2025 05:28 5m 27s
Sync luhn instructions (#235)
Configlet #306: Commit f375f5a pushed by keiravillekode
July 2, 2025 04:52 8s main
July 2, 2025 04:52 8s
Sync luhn instructions (#235)
idris / ci #93: Commit f375f5a pushed by keiravillekode
July 2, 2025 04:52 5m 27s main
July 2, 2025 04:52 5m 27s
Sync luhn instructions (#235)
idris / pre-commit checks #32: Commit f375f5a pushed by keiravillekode
July 2, 2025 04:52 13s main
July 2, 2025 04:52 13s
Sync luhn instructions
Configlet #304: Pull request #235 opened by keiravillekode
July 2, 2025 03:47 10s keiravillekode:sync
July 2, 2025 03:47 10s
Sync luhn instructions
Ping cross-track maintainers team #43: Pull request #235 opened by keiravillekode
July 2, 2025 03:47 6s
July 2, 2025 03:47 6s
Sync luhn instructions
idris / ci #91: Pull request #235 opened by keiravillekode
July 2, 2025 03:47 5m 48s keiravillekode:sync
July 2, 2025 03:47 5m 48s
Sync luhn instructions
Pause Community Contributions #118: Pull request #235 opened by keiravillekode
July 2, 2025 03:47 7s
July 2, 2025 03:47 7s
Sync luhn instructions
idris / pre-commit checks #30: Pull request #235 opened by keiravillekode
July 2, 2025 03:47 13s keiravillekode:sync
July 2, 2025 03:47 13s
github_actions in /. - Update #1044989285
Dependabot Updates #8: by dependabot bot
July 1, 2025 15:08 38s main
July 1, 2025 15:08 38s
github_actions in /. - Update #1044943993
Dependabot Updates #7: by dependabot bot
July 1, 2025 14:15 36s main
July 1, 2025 14:15 36s
Create run-configlet-sync.yml
Ping cross-track maintainers team #42: Pull request #234 opened by jagdish-15
June 30, 2025 20:35 7s
June 30, 2025 20:35 7s
Create run-configlet-sync.yml
Pause Community Contributions #117: Pull request #234 opened by jagdish-15
June 30, 2025 20:35 7s
June 30, 2025 20:35 7s
Use ubuntu-24 (#233)
Configlet #302: Commit a4ef084 pushed by keiravillekode
June 25, 2025 12:38 16s main
June 25, 2025 12:38 16s
Use ubuntu-24 (#233)
idris / ci #89: Commit a4ef084 pushed by keiravillekode
June 25, 2025 12:38 5m 32s main
June 25, 2025 12:38 5m 32s
Use ubuntu-24 (#233)
idris / pre-commit checks #28: Commit a4ef084 pushed by keiravillekode
June 25, 2025 12:38 23s main
June 25, 2025 12:38 23s
Use ubuntu-24
Configlet #301: Pull request #233 opened by keiravillekode
June 25, 2025 08:27 12s keiravillekode:ubuntu-24
June 25, 2025 08:27 12s
Use ubuntu-24
idris / pre-commit checks #27: Pull request #233 opened by keiravillekode
June 25, 2025 08:27 26s keiravillekode:ubuntu-24
June 25, 2025 08:27 26s
Use ubuntu-24
idris / ci #88: Pull request #233 opened by keiravillekode
June 25, 2025 08:27 5m 28s keiravillekode:ubuntu-24
June 25, 2025 08:27 5m 28s
Use ubuntu-24
Pause Community Contributions #116: Pull request #233 opened by keiravillekode
June 25, 2025 08:27 6s
June 25, 2025 08:27 6s
0