Skip to content

Actions: coq/vscoq

Actions

.github/workflows/ci.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
131 workflow run results
131 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #677 from coq-community/dependabot/npm_and_yarn/cl… .github/workflows/ci.yml #802: Commit 66f7ab5 pushed by rtetley
October 19, 2023 06:34 1h 28m 49s main
main
October 19, 2023 06:34 1h 28m 49s
Bump @babel/traverse from 7.20.13 to 7.23.2 in /client/search-ui .github/workflows/ci.yml #801: Pull request #677 opened by dependabot bot
October 18, 2023 18:53 1h 18m 13s dependabot/npm_and_yarn/client/search-ui/babel/traverse-7.23.2
dependabot/npm_and_yarn/client/search-ui/babel/traverse-7.23.2
October 18, 2023 18:53 1h 18m 13s
Bump @babel/traverse from 7.20.13 to 7.23.2 in /client/goal-view-ui .github/workflows/ci.yml #800: Pull request #676 opened by dependabot bot
October 18, 2023 18:53 1h 13m 50s dependabot/npm_and_yarn/client/goal-view-ui/babel/traverse-7.23.2
dependabot/npm_and_yarn/client/goal-view-ui/babel/traverse-7.23.2
October 18, 2023 18:53 1h 13m 50s
Merge pull request #671 from coq-community/fix-typo-readme .github/workflows/ci.yml #799: Commit faee737 pushed by rtetley
October 17, 2023 05:46 1h 36m 9s main
main
October 17, 2023 05:46 1h 36m 9s
Merge pull request #672 from coq-community/upstream-opam-changes .github/workflows/ci.yml #798: Commit 650189f pushed by gares
October 17, 2023 05:04 1h 19m 21s main
main
October 17, 2023 05:04 1h 19m 21s
Fix typo .github/workflows/ci.yml #797: Pull request #671 opened by gares
October 16, 2023 09:00 1h 6m 16s fix-typo-readme
fix-typo-readme
October 16, 2023 09:00 1h 6m 16s
Merge pull request #669 from coq-community/bump-version .github/workflows/ci.yml #796: Commit fa621f0 pushed by rtetley
October 16, 2023 06:50 1h 11m 4s v2.0.2+coq8.18
v2.0.2+coq8.18
October 16, 2023 06:50 1h 11m 4s
Merge pull request #669 from coq-community/bump-version .github/workflows/ci.yml #795: Commit fa621f0 pushed by rtetley
October 16, 2023 06:00 1h 9m 3s main
main
October 16, 2023 06:00 1h 9m 3s
Bump version for release. Update doc. .github/workflows/ci.yml #794: Pull request #669 synchronize by rtetley
October 16, 2023 05:59 1h 11m 52s bump-version
bump-version
October 16, 2023 05:59 1h 11m 52s
Bump version for release. Update doc. .github/workflows/ci.yml #793: Pull request #669 synchronize by rtetley
October 13, 2023 16:24 1h 38m 40s bump-version
bump-version
October 13, 2023 16:24 1h 38m 40s
Merge pull request #665 from coq-community/anomalies-no-crash .github/workflows/ci.yml #792: Commit 8be25ea pushed by rtetley
October 13, 2023 16:23 1h 5m 34s main
main
October 13, 2023 16:23 1h 5m 34s
Bump version for release. Update doc. .github/workflows/ci.yml #791: Pull request #669 opened by rtetley
October 13, 2023 15:29 1h 59m 1s bump-version
bump-version
October 13, 2023 15:29 1h 59m 1s
Merge pull request #668 from coq-community/remove-auto-publish .github/workflows/ci.yml #790: Commit 8cb1297 pushed by rtetley
October 13, 2023 15:29 1h 46m 34s main
main
October 13, 2023 15:29 1h 46m 34s
Remove auto extension publish .github/workflows/ci.yml #789: Pull request #668 opened by rtetley
October 13, 2023 15:29 1h 28m 42s remove-auto-publish
remove-auto-publish
October 13, 2023 15:29 1h 28m 42s
Merge pull request #667 from coq-community/manual-publish .github/workflows/ci.yml #788: Commit 255e426 pushed by rtetley
October 13, 2023 14:59 1h 57m 41s main
main
October 13, 2023 14:59 1h 57m 41s
Merge pull request #666 from coq-community/update-readme .github/workflows/ci.yml #787: Commit b2919c8 pushed by rtetley
October 13, 2023 14:59 1h 58m 9s main
main
October 13, 2023 14:59 1h 58m 9s
Manual publish .github/workflows/ci.yml #786: Pull request #667 opened by rtetley
October 13, 2023 14:58 1h 30m 52s manual-publish
manual-publish
October 13, 2023 14:58 1h 30m 52s
Updating readme. .github/workflows/ci.yml #785: Pull request #666 opened by rtetley
October 13, 2023 14:06 1h 53m 48s update-readme
update-readme
October 13, 2023 14:06 1h 53m 48s
Merge pull request #652 from coq-community/dependabot/npm_and_yarn/cl… .github/workflows/ci.yml #784: Commit 877d47e pushed by rtetley
October 13, 2023 12:53 2h 9m 2s main
main
October 13, 2023 12:53 2h 9m 2s
Merge pull request #653 from coq-community/dependabot/npm_and_yarn/cl… .github/workflows/ci.yml #783: Commit 7726c1d pushed by rtetley
October 13, 2023 12:53 2h 9m 21s main
main
October 13, 2023 12:53 2h 9m 21s
Merge pull request #664 from tlsomers/unicode-positions .github/workflows/ci.yml #782: Commit 30db7d4 pushed by rtetley
October 13, 2023 12:51 2h 7m 9s main
main
October 13, 2023 12:51 2h 7m 9s
do not crash if a Coq sentence raises an anomaly .github/workflows/ci.yml #781: Pull request #665 opened by gares
October 13, 2023 09:18 1h 17m 52s anomalies-no-crash
anomalies-no-crash
October 13, 2023 09:18 1h 17m 52s
Add support for multiple byte UTF-8 characters .github/workflows/ci.yml #780: Pull request #664 synchronize by tlsomers
October 13, 2023 08:32 1h 11m 24s tlsomers:unicode-positions
tlsomers:unicode-positions
October 13, 2023 08:32 1h 11m 24s
Add support for multiple byte UTF-8 characters .github/workflows/ci.yml #779: Pull request #664 synchronize by tlsomers
October 12, 2023 18:37 1h 21m 26s tlsomers:unicode-positions
tlsomers:unicode-positions
October 12, 2023 18:37 1h 21m 26s
Add support for multiple byte UTF-8 characters .github/workflows/ci.yml #778: Pull request #664 opened by tlsomers
October 12, 2023 16:00 1h 5m 15s tlsomers:unicode-positions
tlsomers:unicode-positions
October 12, 2023 16:00 1h 5m 15s