Workflow runs · LLM4Rocq/mathcomp-kummer · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

11 workflow runs

11 workflow runs

Update rocqblueprint link in README.md Deploy Blueprint #11: Commit 907bfb8 pushed by mlelarge

7m 55s main

main

7m 55s

integratio Deploy Blueprint #10: Commit c41e802 pushed by mlelarge

8m 6s main

main

8m 6s

Fix workspace permissions: chown to coq user (UID 1000) in container Deploy Blueprint #9: Commit 6b00262 pushed by mlelarge

7m 38s main

main

7m 38s

Fix permissions on CoqMakefile in Docker container Deploy Blueprint #8: Commit 1cdf78b pushed by mlelarge

7m 9s main

main

7m 9s

Use docker-coq-action to handle container user/opam setup Deploy Blueprint #7: Commit 11eb901 pushed by mlelarge

7m 39s main

main

7m 39s

Fix Docker image tag: use coqorg/coq:8.20 Deploy Blueprint #6: Commit 4d0da12 pushed by mlelarge

1m 25s main

main

1m 25s

Use pre-built Coq Docker image to avoid opam build failures Deploy Blueprint #5: Commit bcdb2c1 pushed by mlelarge

1m 12s main

main

1m 12s

Fix CI: add coq-released opam repo for mathcomp package Deploy Blueprint #4: Commit b1f8157 pushed by mlelarge

6m 34s main

main

6m 34s

Deploy coqdoc alongside blueprint to fix Rocq doc links Deploy Blueprint #3: Commit 7e00cba pushed by mlelarge

4m 52s main

main

4m 52s

Add Claude as co-author in blueprint Deploy Blueprint #2: Commit 6d3d1eb pushed by mlelarge

1m 24s main

main

1m 24s

Deploy blueprint to GitHub Pages Deploy Blueprint #1: Commit fe72cf4 pushed by mlelarge

1m 16s main

main

1m 16s