Skip to content
Deploy to GitHub Pages

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

Sign in to view logs

add learn-x-in-y for Coq

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

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

deploy-pages.yml

on: push
deploy-pages
4s
deploy-pages
Fit to window
Zoom out
Zoom in