Skip to content
coq / main

🤖 Sync org-wide files to upstream repo #68

Sign in to view logs

🤖 Sync org-wide files to upstream repo

🤖 Sync org-wide files to upstream repo #68

Triggered via pull request May 7, 2024 09:20
@exercism-botexercism-bot
opened #116
exercism-bot:org-wide-files/8982372297
Status Success
Total duration 49s
Artifacts –

ci.yml

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