Skip to content
coq / main

🤖 Sync org-wide files to upstream repo #65

Sign in to view logs

🤖 Sync org-wide files to upstream repo

🤖 Sync org-wide files to upstream repo #65

Triggered via pull request April 25, 2024 07:13
@exercism-botexercism-bot
opened #114
exercism-bot:org-wide-files/8828118218
Status Success
Total duration 49s
Artifacts –

ci.yml

on: pull_request
ci
40s
ci
Fit to window
Zoom out
Zoom in