Skip to content

Actions: exercism/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Disable dependabot configuration file Configlet #117: Commit f92d5c7 pushed by glennj
10s main
main
10s
Disable dependabot configuration file coq / main #83: Commit f92d5c7 pushed by glennj
1m 12s main
main
1m 12s
🤖 Sync org-wide files to upstream repo (#125) Configlet #116: Commit 5818445 pushed by iHiD
19s main
main
19s
🤖 Sync org-wide files to upstream repo (#125) coq / main #82: Commit 5818445 pushed by iHiD
56s main
main
56s
🤖 Sync org-wide files to upstream repo i18n completeness #1: Pull request #125 opened by exercism-bot
23s exercism-bot:org-wide-files/35761518676
exercism-bot:org-wide-files/35761518676
23s
🤖 Sync org-wide files to upstream repo Configlet #115: Pull request #125 opened by exercism-bot
44s exercism-bot:org-wide-files/35761518676
exercism-bot:org-wide-files/35761518676
44s
🤖 Sync org-wide files to upstream repo Pause Community Contributions #27: Pull request #125 opened by exercism-bot
36s
36s
🤖 Sync org-wide files to upstream repo coq / main #81: Pull request #125 opened by exercism-bot
1m 47s exercism-bot:org-wide-files/35761518676
exercism-bot:org-wide-files/35761518676
1m 47s
We're translating this repository to other languages Pause Community Contributions #26: Issue #124 opened by iHiD
10s
10s