Skip to content

Actions: exercism/idris

Actions

idris / pre-commit checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pre-commit.yml
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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 idris / pre-commit checks #51: Pull request #245 reopened by keiravillekode
24s FranklinChen:add-contrib-dependency
FranklinChen:add-contrib-dependency
24s
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
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) idris / pre-commit checks #47: Commit b6396b2 pushed by keiravillekode
36s main
main
36s
Bump actions/checkout from 5 to 6 idris / pre-commit checks #46: Pull request #243 opened by dependabot bot
34s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
34s
Bump actions/cache from 4 to 5 idris / pre-commit checks #45: Pull request #242 opened by dependabot bot
39s dependabot/github_actions/actions/cache-5
dependabot/github_actions/actions/cache-5
39s
Sync exercises idris / pre-commit checks #44: Pull request #241 opened by keiravillekode
29s keiravillekode:sync-exercises
keiravillekode:sync-exercises
29s
Sync exercises idris / pre-commit checks #43: Pull request #240 synchronize by keiravillekode
15s keiravillekode:sync
keiravillekode:sync
15s
Sync exercises idris / pre-commit checks #42: Pull request #240 opened by keiravillekode
28s keiravillekode:sync
keiravillekode:sync
28s
Add line-up (#239) idris / pre-commit checks #41: Commit d6c577f pushed by keiravillekode
27s main
main
27s
Add line-up idris / pre-commit checks #40: Pull request #239 opened by keiravillekode
29s keiravillekode:line-up
keiravillekode:line-up
29s
Bump actions/checkout from 4 to 5 (#237) idris / pre-commit checks #39: Commit a5578f9 pushed by keiravillekode
16s main
main
16s
Bump actions/checkout from 4 to 5 idris / pre-commit checks #38: Pull request #237 synchronize by dependabot bot
17s dependabot/github_actions/actions/checkout-5
dependabot/github_actions/actions/checkout-5
17s
Bump actions/setup-python from 5 to 6 (#238) idris / pre-commit checks #37: Commit 86bc55c pushed by keiravillekode
26s main
main
26s
Bump actions/setup-python from 5 to 6 idris / pre-commit checks #36: Pull request #238 opened by dependabot bot
30s dependabot/github_actions/actions/setup-python-6
dependabot/github_actions/actions/setup-python-6
30s
Bump actions/checkout from 4 to 5 idris / pre-commit checks #35: Pull request #237 opened by dependabot bot
21s dependabot/github_actions/actions/checkout-5
dependabot/github_actions/actions/checkout-5
21s
Create run-configlet-sync.yml (#234) idris / pre-commit checks #34: Commit 27c8513 pushed by keiravillekode
20s main
main
20s
Create run-configlet-sync.yml idris / pre-commit checks #33: Pull request #234 synchronize by jagdish-15
16s jagdish-15:patch-1
jagdish-15:patch-1
16s
Sync luhn instructions (#235) idris / pre-commit checks #32: Commit f375f5a pushed by keiravillekode
13s main
main
13s
Sync luhn instructions idris / pre-commit checks #30: Pull request #235 opened by keiravillekode
13s keiravillekode:sync
keiravillekode:sync
13s
Use ubuntu-24 (#233) idris / pre-commit checks #28: Commit a4ef084 pushed by keiravillekode
23s main
main
23s
Use ubuntu-24 idris / pre-commit checks #27: Pull request #233 opened by keiravillekode
26s keiravillekode:ubuntu-24
keiravillekode:ubuntu-24
26s
Link to Idris 2 docs instead of Idris 1 (#232) idris / pre-commit checks #26: Commit d416cb3 pushed by keiravillekode
17s main
main
17s