Skip to content
Awesome Bot

add learn-x-in-y for Coq #100

Sign in to view logs

add learn-x-in-y for Coq

add learn-x-in-y for Coq #100

Triggered via push August 11, 2024 20:47
@palmskogpalmskog
pushed 7cb01b0
master
Status Success
Total duration 3m 24s
Artifacts –

awesome-bot.yml

on: push
test
3m 15s
test
Fit to window
Zoom out
Zoom in