Skip to content

Actions: coq-community/coq-tricks

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
130 workflow runs
130 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add an explanation of skipping Qeds Check links #9: Commit 83804bd pushed by tchajed
July 24, 2024 15:06 27s main
main
July 24, 2024 15:06 27s
Add an explanation of skipping Qeds Docker CI #8: Pull request #34 opened by tchajed
July 24, 2024 15:00 2m 7s add-skip-qed-trick
add-skip-qed-trick
July 24, 2024 15:00 2m 7s
Add an explanation of skipping Qeds Check links #8: Pull request #34 opened by tchajed
July 24, 2024 15:00 31s add-skip-qed-trick
add-skip-qed-trick
July 24, 2024 15:00 31s
Reduce the preamble before the first trick Check links #7: Commit 7e4da29 pushed by tchajed
July 24, 2024 14:55 24s main
main
July 24, 2024 14:55 24s
Reduce the preamble before the first trick Docker CI #7: Commit 7e4da29 pushed by tchajed
July 24, 2024 14:55 2m 9s main
main
July 24, 2024 14:55 2m 9s
Reduce the preamble before the first trick Docker CI #6: Pull request #33 opened by tchajed
July 24, 2024 14:52 2m 8s readme-simplification
readme-simplification
July 24, 2024 14:52 2m 8s
Reduce the preamble before the first trick Check links #6: Pull request #33 opened by tchajed
July 24, 2024 14:52 26s readme-simplification
readme-simplification
July 24, 2024 14:52 26s
Use a consistent logical path Check links #5: Commit 0a2930a pushed by tchajed
July 24, 2024 14:40 25s main
main
July 24, 2024 14:40 25s
Use a consistent logical path Docker CI #5: Commit 0a2930a pushed by tchajed
July 24, 2024 14:40 2m 2s main
main
July 24, 2024 14:40 2m 2s
add meta.yml and generate boilerplate from templates Check links #4: Pull request #32 synchronize by tchajed
July 24, 2024 14:33 33s meta-ci
meta-ci
July 24, 2024 14:33 33s
add meta.yml and generate boilerplate from templates Docker CI #4: Pull request #32 synchronize by tchajed
July 24, 2024 14:33 2m 2s meta-ci
meta-ci
July 24, 2024 14:33 2m 2s
add meta.yml and generate boilerplate from templates Check links #3: Pull request #32 synchronize by palmskog
July 24, 2024 14:23 1m 13s meta-ci
meta-ci
July 24, 2024 14:23 1m 13s
add meta.yml and generate boilerplate from templates Docker CI #3: Pull request #32 synchronize by palmskog
July 24, 2024 14:23 2m 35s meta-ci
meta-ci
July 24, 2024 14:23 2m 35s
add meta.yml and generate boilerplate from templates Docker CI #2: Pull request #32 synchronize by palmskog
July 24, 2024 14:18 2m 5s meta-ci
meta-ci
July 24, 2024 14:18 2m 5s
add meta.yml and generate boilerplate from templates Check links #2: Pull request #32 synchronize by palmskog
July 24, 2024 14:18 27s meta-ci
meta-ci
July 24, 2024 14:18 27s