Skip to content

Actions: exercism/coq

Actions

coq / main

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
27 workflow runs
27 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Bump actions/checkout from 4.1.6 to 4.1.7 coq / main #72: Pull request #118 opened by dependabot bot
June 12, 2024 22:06 50s dependabot/github_actions/actions/checkout-4.1.7
dependabot/github_actions/actions/checkout-4.1.7
June 12, 2024 22:06 50s
Bump actions/checkout from 4.1.5 to 4.1.6 (#117) coq / main #71: Commit 6e0ce54 pushed by ErikSchierboom
May 22, 2024 08:20 46s main
main
May 22, 2024 08:20 46s
Bump actions/checkout from 4.1.5 to 4.1.6 coq / main #70: Pull request #117 opened by dependabot bot
May 16, 2024 22:54 47s dependabot/github_actions/actions/checkout-4.1.6
dependabot/github_actions/actions/checkout-4.1.6
May 16, 2024 22:54 47s
🤖 Sync org-wide files to upstream repo (#116) coq / main #69: Commit d0548a2 pushed by ErikSchierboom
May 7, 2024 09:47 46s main
main
May 7, 2024 09:47 46s
🤖 Sync org-wide files to upstream repo coq / main #68: Pull request #116 opened by exercism-bot
May 7, 2024 09:20 49s exercism-bot:org-wide-files/8982372297
exercism-bot:org-wide-files/8982372297
May 7, 2024 09:20 49s
Bump actions/checkout from 4.1.4 to 4.1.5 (#115) coq / main #67: Commit 7ad760a pushed by ErikSchierboom
May 7, 2024 08:40 49s main
main
May 7, 2024 08:40 49s
Bump actions/checkout from 4.1.4 to 4.1.5 coq / main #66: Pull request #115 opened by dependabot bot
May 6, 2024 22:20 56s dependabot/github_actions/actions/checkout-4.1.5
dependabot/github_actions/actions/checkout-4.1.5
May 6, 2024 22:20 56s
🤖 Sync org-wide files to upstream repo coq / main #65: Pull request #114 opened by exercism-bot
April 25, 2024 07:13 49s exercism-bot:org-wide-files/8828118218
exercism-bot:org-wide-files/8828118218
April 25, 2024 07:13 49s
Bump actions/checkout from 4.1.2 to 4.1.4 (#113) coq / main #64: Commit d6950d5 pushed by ErikSchierboom
April 25, 2024 06:37 49s main
main
April 25, 2024 06:37 49s
Bump actions/checkout from 4.1.2 to 4.1.4 coq / main #63: Pull request #113 opened by dependabot bot
April 24, 2024 22:45 46s dependabot/github_actions/actions/checkout-4.1.4
dependabot/github_actions/actions/checkout-4.1.4
April 24, 2024 22:45 46s
Bump actions/checkout from 4.1.2 to 4.1.3 coq / main #62: Pull request #112 opened by dependabot bot
April 19, 2024 22:18 49s dependabot/github_actions/actions/checkout-4.1.3
dependabot/github_actions/actions/checkout-4.1.3
April 19, 2024 22:18 49s
Bump actions/checkout from 4.1.1 to 4.1.2 (#111) coq / main #61: Commit 4769e52 pushed by ErikSchierboom
March 28, 2024 08:34 50s main
main
March 28, 2024 08:34 50s
Bump actions/checkout from 4.1.1 to 4.1.2 coq / main #60: Pull request #111 opened by dependabot bot
March 27, 2024 22:50 47s dependabot/github_actions/actions/checkout-4.1.2
dependabot/github_actions/actions/checkout-4.1.2
March 27, 2024 22:50 47s
🤖 Sync org-wide files to upstream repo coq / main #59: Pull request #110 opened by exercism-bot
March 27, 2024 08:55 51s exercism-bot:org-wide-files/8448643110
exercism-bot:org-wide-files/8448643110
March 27, 2024 08:55 51s
Bump actions/checkout from 3.6.0 to 4.1.1 (#105) coq / main #58: Commit 48e15e1 pushed by ErikSchierboom
March 27, 2024 08:13 53s main
main
March 27, 2024 08:13 53s
🤖 Sync org-wide files to upstream repo (#109) coq / main #57: Commit afd1ea1 pushed by ErikSchierboom
March 5, 2024 14:43 3m 3s main
main
March 5, 2024 14:43 3m 3s
🤖 Sync org-wide files to upstream repo coq / main #56: Pull request #109 opened by exercism-bot
February 29, 2024 08:47 39s exercism-bot:org-wide-files/8092899077
exercism-bot:org-wide-files/8092899077
February 29, 2024 08:47 39s
🤖 Sync org-wide files to upstream repo coq / main #55: Pull request #108 opened by exercism-bot
February 2, 2024 08:07 38s exercism-bot:org-wide-files/7752790713
exercism-bot:org-wide-files/7752790713
February 2, 2024 08:07 38s
🤖 Sync org-wide files to upstream repo coq / main #54: Pull request #107 opened by exercism-bot
February 1, 2024 13:56 54s exercism-bot:org-wide-files/7741814548
exercism-bot:org-wide-files/7741814548
February 1, 2024 13:56 54s
🤖 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 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) 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 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) 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 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