Skip to content

Actions: exercism/idris

Actions

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

🤖 Sync org-wide files to upstream repo Pause Community Contributions #11: Pull request #128 opened by exercism-bot
March 27, 2024 08:47 14s
March 27, 2024 08:47 14s
🤖 Sync org-wide files to upstream repo Configlet #89: Pull request #128 opened by exercism-bot
March 27, 2024 08:47 11s exercism-bot:org-wide-files/8448643110
exercism-bot:org-wide-files/8448643110
March 27, 2024 08:47 11s
🤖 Sync org-wide files to upstream repo (#127) Configlet #88: Commit d79ce70 pushed by ErikSchierboom
March 5, 2024 14:45 38s main
main
March 5, 2024 14:45 38s
🤖 Sync org-wide files to upstream repo Configlet #87: Pull request #127 opened by exercism-bot
February 29, 2024 08:39 14s exercism-bot:org-wide-files/8092899077
exercism-bot:org-wide-files/8092899077
February 29, 2024 08:39 14s
🤖 Sync org-wide files to upstream repo Pause Community Contributions #10: Pull request #127 opened by exercism-bot
February 29, 2024 08:39 12s
February 29, 2024 08:39 12s
Move from Travis to GitHub Actions Pause Community Contributions #9: Issue #126 opened by ErikSchierboom
February 15, 2024 07:58 9s
February 15, 2024 07:58 9s
Format config.json file Configlet #86: Commit 53cbf93 pushed by ErikSchierboom
February 15, 2024 07:54 14s main
main
February 15, 2024 07:54 14s
Add todos Configlet #85: Commit 74aae6a pushed by ErikSchierboom
February 15, 2024 07:51 15s main
main
February 15, 2024 07:51 15s
Remove obsolete files Configlet #84: Commit 8136f4f pushed by ErikSchierboom
February 15, 2024 07:50 14s main
main
February 15, 2024 07:50 14s
Launch tracking Pause Community Contributions #8: Issue #125 opened by ErikSchierboom
February 15, 2024 07:49 10s
February 15, 2024 07:49 10s
🤖 Sync org-wide files to upstream repo Configlet #83: Pull request #124 opened by exercism-bot
February 2, 2024 07:59 17s exercism-bot:org-wide-files/7752790713
exercism-bot:org-wide-files/7752790713
February 2, 2024 07:59 17s
🤖 Sync org-wide files to upstream repo No important files changed #3: Pull request #124 opened by exercism-bot
February 2, 2024 07:59 14s exercism-bot:org-wide-files/7752790713
exercism-bot:org-wide-files/7752790713
February 2, 2024 07:59 14s
🤖 Sync org-wide files to upstream repo Pause Community Contributions #7: Pull request #124 opened by exercism-bot
February 2, 2024 07:59 11s
February 2, 2024 07:59 11s
🤖 Sync org-wide files to upstream repo Configlet #82: Pull request #123 opened by exercism-bot
February 1, 2024 13:46 18s exercism-bot:org-wide-files/7741814548
exercism-bot:org-wide-files/7741814548
February 1, 2024 13:46 18s
🤖 Sync org-wide files to upstream repo No important files changed #2: Pull request #123 opened by exercism-bot
February 1, 2024 13:46 14s exercism-bot:org-wide-files/7741814548
exercism-bot:org-wide-files/7741814548
February 1, 2024 13:46 14s
🤖 Sync org-wide files to upstream repo Pause Community Contributions #6: Pull request #123 opened by exercism-bot
February 1, 2024 13:46 15s
February 1, 2024 13:46 15s
🤖 Sync org-wide files to upstream repo Pause Community Contributions #5: Pull request #122 opened by exercism-bot
January 25, 2024 14:24 15s
January 25, 2024 14:24 15s
🤖 Sync org-wide files to upstream repo Configlet #81: Pull request #122 opened by exercism-bot
January 25, 2024 14:24 14s exercism-bot:🤖/org-wide-files/7655509670
exercism-bot:🤖/org-wide-files/7655509670
January 25, 2024 14:24 14s
🤖 Sync org-wide files to upstream repo No important files changed #1: Pull request #122 opened by exercism-bot
January 25, 2024 14:24 19s exercism-bot:🤖/org-wide-files/7655509670
exercism-bot:🤖/org-wide-files/7655509670
January 25, 2024 14:24 19s
leap: sync (#121) Configlet #80: Commit e05b38e pushed by ErikSchierboom
January 24, 2024 15:05 21s main
main
January 24, 2024 15:05 21s
leap: sync Pause Community Contributions #4: Pull request #121 opened by ErikSchierboom
January 16, 2024 13:48 58s
January 16, 2024 13:48 58s
leap: sync Configlet #79: Pull request #121 opened by ErikSchierboom
January 16, 2024 13:48 1m 2s sync-leap-exercise
sync-leap-exercise
January 16, 2024 13:48 1m 2s
Tools Tools #34: Scheduled
August 1, 2023 00:13 49s main
main
August 1, 2023 00:13 49s
ProTip! You can narrow down the results and go further in time using created:<2023-08-01 or the other filters available.