Skip to content

Actions: exercism/idris

Actions

Pause Community Contributions

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pause-community-contributions.yml
68 workflow runs
68 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

🤖 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
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 Pause Community Contributions #68: Pull request #185 opened by keiravillekode
August 13, 2024 09:08 14s
August 13, 2024 09:08 14s
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 Pause Community Contributions #66: Pull request #183 opened by keiravillekode
August 5, 2024 20:56 12s
August 5, 2024 20:56 12s
Add flatten-array Pause Community Contributions #65: Pull request #182 opened by keiravillekode
July 31, 2024 20:34 11s
July 31, 2024 20:34 11s
Add luhn Pause Community Contributions #64: Pull request #181 opened by keiravillekode
July 31, 2024 08:05 15s
July 31, 2024 08:05 15s
Add resistor-color-trio Pause Community Contributions #63: Pull request #180 opened by keiravillekode
July 30, 2024 21:04 15s
July 30, 2024 21:04 15s
Add knapsack Pause Community Contributions #62: Pull request #179 opened by keiravillekode
July 30, 2024 08:30 11s
July 30, 2024 08:30 11s
Robot simulator Pause Community Contributions #61: Pull request #178 opened by keiravillekode
July 29, 2024 11:23 14s
July 29, 2024 11:23 14s
exercises/practice/grains/src/Grains.idr Pause Community Contributions #60: Issue #177 opened by isberg
July 28, 2024 09:32 13s
July 28, 2024 09:32 13s
Add secret-handshake Pause Community Contributions #59: Pull request #176 opened by keiravillekode
July 27, 2024 13:33 12s
July 27, 2024 13:33 12s
Add pascals-triangle exercise Pause Community Contributions #58: Issue #175 opened by keiravillekode
July 27, 2024 09:43 14s
July 27, 2024 09:43 14s
Add list-ops exercise Pause Community Contributions #57: Issue #174 opened by keiravillekode
July 27, 2024 09:40 11s
July 27, 2024 09:40 11s
Add kindergarten-garden exercise Pause Community Contributions #56: Issue #173 opened by keiravillekode
July 27, 2024 09:24 14s
July 27, 2024 09:24 14s
Add nucleotide-count exercise Pause Community Contributions #55: Issue #172 opened by keiravillekode
July 27, 2024 09:14 17s
July 27, 2024 09:14 17s
Add all-your-base Pause Community Contributions #54: Pull request #171 opened by keiravillekode
July 27, 2024 05:49 12s
July 27, 2024 05:49 12s
Sync and re-implement hamming Pause Community Contributions #53: Pull request #170 opened by keiravillekode
July 27, 2024 04:31 11s
July 27, 2024 04:31 11s
Sync and re-implement rna-transcription Pause Community Contributions #52: Pull request #169 opened by keiravillekode
July 26, 2024 23:01 15s
July 26, 2024 23:01 15s
Sync and re-implement accumulate Pause Community Contributions #51: Pull request #168 opened by keiravillekode
July 26, 2024 12:03 11s
July 26, 2024 12:03 11s
Armstrong numbers Pause Community Contributions #50: Pull request #167 opened by keiravillekode
July 25, 2024 21:38 11s
July 25, 2024 21:38 11s
Add resistor-color-duo Pause Community Contributions #49: Pull request #166 opened by keiravillekode
July 25, 2024 09:42 11s
July 25, 2024 09:42 11s
Add grains Pause Community Contributions #48: Pull request #165 opened by keiravillekode
July 24, 2024 12:20 14s
July 24, 2024 12:20 14s
Add resistor-color Pause Community Contributions #47: Pull request #164 opened by keiravillekode
July 24, 2024 10:47 11s
July 24, 2024 10:47 11s