Skip to content

Actions: coq-community/coq-tricks

Actions

CI

Actions

Loading...
Loading

Showing runs from all workflows named CI
107 workflow run results
107 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Docker CI Docker CI #28: Scheduled
October 1, 2024 08:14 2m 14s main
main
October 1, 2024 08:14 2m 14s
Docker CI Docker CI #27: Scheduled
September 24, 2024 08:14 2m 21s main
main
September 24, 2024 08:14 2m 21s
Docker CI Docker CI #26: Scheduled
September 17, 2024 08:13 2m 23s main
main
September 17, 2024 08:13 2m 23s
Docker CI Docker CI #25: Scheduled
September 10, 2024 08:13 2m 12s main
main
September 10, 2024 08:13 2m 12s
Docker CI Docker CI #24: Scheduled
September 3, 2024 08:13 2m 58s main
main
September 3, 2024 08:13 2m 58s
Docker CI Docker CI #23: Scheduled
August 27, 2024 08:13 3m 56s main
main
August 27, 2024 08:13 3m 56s
Docker CI Docker CI #22: Scheduled
August 20, 2024 08:13 14m 34s main
main
August 20, 2024 08:13 14m 34s
Merge pull request #38 from coq-community/fix-warning-attribute Docker CI #21: Commit e053c97 pushed by tchajed
August 13, 2024 13:51 2m 32s main
main
August 13, 2024 13:51 2m 32s
Fix the syntax explaining the warning attribute Docker CI #20: Pull request #38 opened by tchajed
August 13, 2024 13:47 3m 19s fix-warning-attribute
fix-warning-attribute
August 13, 2024 13:47 3m 19s
Docker CI Docker CI #19: Scheduled
August 13, 2024 08:12 2m 10s main
main
August 13, 2024 08:12 2m 10s
Docker CI Docker CI #18: Scheduled
August 6, 2024 08:12 2m 11s main
main
August 6, 2024 08:12 2m 11s
Docker CI Docker CI #17: Scheduled
July 30, 2024 08:12 2m 20s main
main
July 30, 2024 08:12 2m 20s
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
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 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
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
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 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 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
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
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 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