Skip to content

Actions: exercism/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
90 workflow runs
90 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

🤖 Sync org-wide files to upstream repo No important files changed #1: Pull request #106 opened by exercism-bot
January 25, 2024 14:32 14s exercism-bot:🤖/org-wide-files/7655509670
exercism-bot:🤖/org-wide-files/7655509670
January 25, 2024 14:32 14s
🤖 Sync org-wide files to upstream repo coq / main #53: Pull request #106 opened by exercism-bot
January 25, 2024 14:32 39s exercism-bot:🤖/org-wide-files/7655509670
exercism-bot:🤖/org-wide-files/7655509670
January 25, 2024 14:32 39s
Bump actions/checkout from 3.6.0 to 4.1.1 Pause Community Contributions #7: Pull request #105 opened by dependabot bot
November 15, 2023 22:23 12s
November 15, 2023 22:23 12s
Bump actions/checkout from 3.6.0 to 4.1.1 Configlet #86: Pull request #105 opened by dependabot bot
November 15, 2023 22:23 16s dependabot/github_actions/actions/checkout-4.1.1
dependabot/github_actions/actions/checkout-4.1.1
November 15, 2023 22:23 16s
Bump actions/checkout from 3.6.0 to 4.1.1 coq / main #52: Pull request #105 opened by dependabot bot
November 15, 2023 22:23 39s dependabot/github_actions/actions/checkout-4.1.1
dependabot/github_actions/actions/checkout-4.1.1
November 15, 2023 22:23 39s
Pin GitHub Actions workflows to a specific version (#104) Configlet #85: Commit 3c76d25 pushed by ErikSchierboom
November 15, 2023 11:51 13s main
main
November 15, 2023 11:51 13s
Pin GitHub Actions workflows to a specific version (#104) coq / main #51: Commit 3c76d25 pushed by ErikSchierboom
November 15, 2023 11:51 36s main
main
November 15, 2023 11:51 36s
CI: pin GitHub Actions workflows Pause Community Contributions #6: Pull request #104 opened by ErikSchierboom
November 14, 2023 14:00 17s
November 14, 2023 14:00 17s
CI: pin GitHub Actions workflows Configlet #84: Pull request #104 opened by ErikSchierboom
November 14, 2023 14:00 12s pin-github-action-workflows
pin-github-action-workflows
November 14, 2023 14:00 12s
CI: pin GitHub Actions workflows coq / main #50: Pull request #104 opened by ErikSchierboom
November 14, 2023 14:00 43s pin-github-action-workflows
pin-github-action-workflows
November 14, 2023 14:00 43s
Pin GitHub Actions runners to a specific version (#103) Configlet #83: Commit c94b59d pushed by ErikSchierboom
November 14, 2023 13:30 17s main
main
November 14, 2023 13:30 17s
Pin GitHub Actions runners to a specific version (#103) coq / main #49: Commit c94b59d pushed by ErikSchierboom
November 14, 2023 13:30 50s main
main
November 14, 2023 13:30 50s
CI: pin GitHub Actions runners Pause Community Contributions #5: Pull request #103 opened by ErikSchierboom
November 9, 2023 15:14 17s
November 9, 2023 15:14 17s
CI: pin GitHub Actions runners Configlet #82: Pull request #103 opened by ErikSchierboom
November 9, 2023 15:14 14s pin-gha-runners
pin-gha-runners
November 9, 2023 15:14 14s
CI: pin GitHub Actions runners coq / main #48: Pull request #103 opened by ErikSchierboom
November 9, 2023 15:14 38s pin-gha-runners
pin-gha-runners
November 9, 2023 15:14 38s