Skip to content

Actions: coq-community/coq-tricks

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
135 workflow runs
135 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #3: by github-pages bot
July 27, 2024 18:58 33s
July 27, 2024 18:58 33s
link to Function.v and mention Equations (#37) Check links #16: Commit 5b7af75 pushed by palmskog
July 27, 2024 18:58 25s main
main
July 27, 2024 18:58 25s
link to Function.v and mention Equations (#37) Deploy to GitHub Pages #7: Commit 5b7af75 pushed by palmskog
July 27, 2024 18:58 15s main
main
July 27, 2024 18:58 15s
link to Function.v and mention Equations (#37) Docker CI #16: Commit 5b7af75 pushed by palmskog
July 27, 2024 18:58 2m 8s main
main
July 27, 2024 18:58 2m 8s
link to Function.v and mention Equations Docker CI #15: Pull request #37 opened by palmskog
July 26, 2024 22:32 1m 58s function-equations
function-equations
July 26, 2024 22:32 1m 58s
link to Function.v and mention Equations Check links #15: Pull request #37 opened by palmskog
July 26, 2024 22:32 23s function-equations
function-equations
July 26, 2024 22:32 23s
link to Function.v and mention Equations Deploy to GitHub Pages #6: Pull request #37 opened by palmskog
July 26, 2024 22:32 15s function-equations
function-equations
July 26, 2024 22:32 15s
pages build and deployment pages-build-deployment #2: by github-pages bot
July 26, 2024 22:24 36s
July 26, 2024 22:24 36s
ensure all URLs have hyperlinks (#36) Deploy to GitHub Pages #5: Commit e175ae3 pushed by tchajed
July 26, 2024 22:24 12s main
main
July 26, 2024 22:24 12s
ensure all URLs have hyperlinks (#36) Docker CI #14: Commit e175ae3 pushed by tchajed
July 26, 2024 22:24 2m 0s main
main
July 26, 2024 22:24 2m 0s
ensure all URLs have hyperlinks (#36) Check links #14: Commit e175ae3 pushed by tchajed
July 26, 2024 22:24 32s main
main
July 26, 2024 22:24 32s
ensure all URLs have hyperlinks Docker CI #13: Pull request #36 opened by palmskog
July 26, 2024 22:21 2m 7s fix-urls
fix-urls
July 26, 2024 22:21 2m 7s
ensure all URLs have hyperlinks Deploy to GitHub Pages #4: Pull request #36 opened by palmskog
July 26, 2024 22:21 12s fix-urls
fix-urls
July 26, 2024 22:21 12s
ensure all URLs have hyperlinks Check links #13: Pull request #36 opened by palmskog
July 26, 2024 22:21 28s fix-urls
fix-urls
July 26, 2024 22:21 28s
pages build and deployment pages-build-deployment #1: by palmskog
July 26, 2024 15:02 41s
July 26, 2024 15:02 41s
absolute link substitution using sed in pages deployment Docker CI #12: Commit a4b22ce pushed by tchajed
July 26, 2024 15:00 2m 7s main
main
July 26, 2024 15:00 2m 7s
absolute link substitution using sed in pages deployment Check links #12: Commit a4b22ce pushed by tchajed
July 26, 2024 15:00 28s main
main
July 26, 2024 15:00 28s
absolute link substitution using sed in pages deployment Deploy to GitHub Pages #3: Commit a4b22ce pushed by tchajed
July 26, 2024 15:00 15s main
main
July 26, 2024 15:00 15s
Deploy README.md to gh-pages branch as website Docker CI #11: Pull request #35 synchronize by palmskog
July 25, 2024 17:08 2m 8s deploy-readme
deploy-readme
July 25, 2024 17:08 2m 8s
Deploy README.md to gh-pages branch as website Check links #11: Pull request #35 synchronize by palmskog
July 25, 2024 17:08 32s deploy-readme
deploy-readme
July 25, 2024 17:08 32s
Deploy README.md to gh-pages branch as website Deploy to GitHub Pages #2: Pull request #35 synchronize by palmskog
July 25, 2024 17:08 12s deploy-readme
deploy-readme
July 25, 2024 17:08 12s
Deploy README.md to gh-pages branch as website Deploy to GitHub Pages #1: Pull request #35 opened by palmskog
July 25, 2024 13:37 12s deploy-readme
deploy-readme
July 25, 2024 13:37 12s
Deploy README.md to gh-pages branch as website Check links #10: Pull request #35 opened by palmskog
July 25, 2024 13:37 29s deploy-readme
deploy-readme
July 25, 2024 13:37 29s
Deploy README.md to gh-pages branch as website Docker CI #10: Pull request #35 opened by palmskog
July 25, 2024 13:37 2m 6s deploy-readme
deploy-readme
July 25, 2024 13:37 2m 6s
Add an explanation of skipping Qeds Docker CI #9: Commit 83804bd pushed by tchajed
July 24, 2024 15:06 2m 3s main
main
July 24, 2024 15:06 2m 3s