Skip to content

Actions: exercism/idris

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
248 workflow runs
248 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ukranian => Ukrainian (#184)
Configlet #213: Commit 67ade41 pushed by keiravillekode
November 4, 2024 08:03 13s main
November 4, 2024 08:03 13s
Fix flatten-array compile error (#186)
Configlet #212: Commit 4686a0b pushed by keiravillekode
November 4, 2024 08:02 13s main
November 4, 2024 08:02 13s
🤖 Sync org-wide files to upstream repo (#188)
Configlet #211: Commit 95d6e4e pushed by keiravillekode
September 5, 2024 10:09 14s main
September 5, 2024 10:09 14s
Change the interval for dependabot updates to monthly (#187)
Configlet #210: Commit 28f4a10 pushed by keiravillekode
September 5, 2024 10:09 15s main
September 5, 2024 10:09 15s
🤖 Sync org-wide files to upstream repo
Pause Community Contributions #71: Pull request #188 opened by exercism-bot
September 4, 2024 12:51 11s
September 4, 2024 12:51 11s
ci(dependabot): change to monthly interval
Pause Community Contributions #70: Pull request #187 opened by ErikSchierboom
September 4, 2024 11:26 14s
September 4, 2024 11:26 14s
ci(dependabot): change to monthly interval
Configlet #208: Pull request #187 opened by ErikSchierboom
September 4, 2024 11:26 22s dependabot-interval
September 4, 2024 11:26 22s
Fix flatten-array compile error
No important files changed #46: Pull request #186 opened by keiravillekode
August 13, 2024 09:49 44s
August 13, 2024 09:49 44s
Fix flatten-array compile error
Pause Community Contributions #69: Pull request #186 opened by keiravillekode
August 13, 2024 09:49 13s
August 13, 2024 09:49 13s
Add isbn-verifier
Configlet #206: Pull request #185 opened by keiravillekode
August 13, 2024 09:08 18s keiravillekode:isbn-verifier
August 13, 2024 09:08 18s
Add isbn-verifier
Pause Community Contributions #68: Pull request #185 opened by keiravillekode
August 13, 2024 09:08 14s
August 13, 2024 09:08 14s
Add isbn-verifier
No important files changed #45: Pull request #185 opened by keiravillekode
August 13, 2024 09:08 52s
August 13, 2024 09:08 52s
Ukranian => Ukrainian
Configlet #205: Pull request #184 synchronize by keiravillekode
August 10, 2024 08:43 16s keiravillekode:fix-zebra
August 10, 2024 08:43 16s
Ukranian => Ukrainian
Configlet #204: Pull request #184 opened by keiravillekode
August 10, 2024 07:47 15s keiravillekode:fix-zebra
August 10, 2024 07:47 15s
Ukranian => Ukrainian
No important files changed #44: Pull request #184 opened by keiravillekode
August 10, 2024 07:47 11s
August 10, 2024 07:47 11s
Ukranian => Ukrainian
Pause Community Contributions #67: Pull request #184 opened by keiravillekode
August 10, 2024 07:47 10s
August 10, 2024 07:47 10s
Use locally cached problem spec data (#183)
Configlet #203: Commit 4458d18 pushed by keiravillekode
August 6, 2024 11:25 14s main
August 6, 2024 11:25 14s
Use locally cached problem spec data
Pause Community Contributions #66: Pull request #183 opened by keiravillekode
August 5, 2024 20:56 12s
August 5, 2024 20:56 12s
Robot simulator (#178)
Configlet #200: Commit 999c9d3 pushed by keiravillekode
August 2, 2024 09:19 24s main
August 2, 2024 09:19 24s
Add knapsack (#179)
Configlet #199: Commit 031e0aa pushed by keiravillekode
August 2, 2024 09:18 20s main
August 2, 2024 09:18 20s
Add resistor-color-trio (#180)
Configlet #198: Commit e436112 pushed by keiravillekode
August 2, 2024 09:18 16s main
August 2, 2024 09:18 16s