Skip to content
coq / main

🤖 Sync org-wide files to upstream repo #77

Sign in to view logs

🤖 Sync org-wide files to upstream repo

🤖 Sync org-wide files to upstream repo #77

Triggered via pull request September 4, 2024 12:59
@exercism-botexercism-bot
opened #121
exercism-bot:org-wide-files/10701516276
Status Success
Total duration 1m 14s
Artifacts –

ci.yml

on: pull_request
ci
1m 4s
ci
Fit to window
Zoom out
Zoom in