Skip to content

Actions: coq-community/coq-tricks

Actions

Deploy to GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy-pages.yml
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #38 from coq-community/fix-warning-attribute Deploy to GitHub Pages #9: Commit e053c97 pushed by tchajed
August 13, 2024 13:51 14s main
main
August 13, 2024 13:51 14s
Fix the syntax explaining the warning attribute Deploy to GitHub Pages #8: Pull request #38 opened by tchajed
August 13, 2024 13:47 1m 17s fix-warning-attribute
fix-warning-attribute
August 13, 2024 13:47 1m 17s
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 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
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 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
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 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