Skip to content

Actions: coq-community/coq-tricks

Actions

Check links

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-links.yml
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #38 from coq-community/fix-warning-attribute Check links #18: Commit e053c97 pushed by tchajed
August 13, 2024 13:51 35s main
main
August 13, 2024 13:51 35s
Fix the syntax explaining the warning attribute Check links #17: Pull request #38 opened by tchajed
August 13, 2024 13:47 1m 26s fix-warning-attribute
fix-warning-attribute
August 13, 2024 13:47 1m 26s
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 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
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 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
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
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 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
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 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 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
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 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 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
add meta.yml and generate boilerplate from templates Check links #1: Pull request #32 opened by palmskog
July 24, 2024 12:23 30s meta-ci
meta-ci
July 24, 2024 12:23 30s