Skip to content
coq / main

🤖 Sync org-wide files to upstream repo #53

Sign in to view logs

🤖 Sync org-wide files to upstream repo

🤖 Sync org-wide files to upstream repo #53

Triggered via pull request January 25, 2024 14:32
@exercism-botexercism-bot
opened #106
exercism-bot:🤖/org-wide-files/7655509670
Status Success
Total duration 39s
Artifacts –

ci.yml

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