Skip to content

Actions: coq/vscoq

Actions

.github/workflows/ci.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
696 workflow runs
696 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: ubuntu CI .github/workflows/ci.yml #1453: Pull request #975 opened by rtetley
January 13, 2025 12:54 29m 8s ci-fix
ci-fix
January 13, 2025 12:54 29m 8s
Fix incorrect reference to vscoq.trace.server .github/workflows/ci.yml #1452: Pull request #974 opened by cpitclaudel
January 8, 2025 12:33 31s cpitclaudel:cpc/fix-trace-setting
cpitclaudel:cpc/fix-trace-setting
January 8, 2025 12:33 31s
do not move cursor or flash red in continuous mode .github/workflows/ci.yml #1451: Pull request #972 opened by gares
December 19, 2024 10:44 25s improve-continuous-mode
improve-continuous-mode
December 19, 2024 10:44 25s
support lsp >= 1.19 .github/workflows/ci.yml #1450: Pull request #970 synchronize by gares
December 19, 2024 08:48 5m 4s bump-dep-on-lsp
bump-dep-on-lsp
December 19, 2024 08:48 5m 4s
support lsp >= 1.19 .github/workflows/ci.yml #1449: Pull request #970 synchronize by gares
December 18, 2024 20:09 2m 52s bump-dep-on-lsp
bump-dep-on-lsp
December 18, 2024 20:09 2m 52s
support lsp >= 1.19 .github/workflows/ci.yml #1448: Pull request #970 synchronize by gares
December 18, 2024 09:45 18m 54s bump-dep-on-lsp
bump-dep-on-lsp
December 18, 2024 09:45 18m 54s
support lsp >= 1.19 .github/workflows/ci.yml #1447: Pull request #970 synchronize by gares
December 18, 2024 09:11 20m 4s bump-dep-on-lsp
bump-dep-on-lsp
December 18, 2024 09:11 20m 4s
link LICENSE and README in client .github/workflows/ci.yml #1446: Pull request #971 opened by gares
December 18, 2024 09:09 15m 40s fix-build-dev-version-
fix-build-dev-version-
December 18, 2024 09:09 15m 40s
support lsp >= 1.19 .github/workflows/ci.yml #1445: Pull request #970 opened by gares
December 18, 2024 09:04 10m 3s bump-dep-on-lsp
bump-dep-on-lsp
December 18, 2024 09:04 10m 3s
cd: prerelease .github/workflows/ci.yml #1444: Pull request #968 synchronize by gares
December 16, 2024 09:06 39m 54s cd-handle-prerelease
cd-handle-prerelease
December 16, 2024 09:06 39m 54s
cd: prerelease .github/workflows/ci.yml #1443: Pull request #968 synchronize by gares
December 16, 2024 09:06 31m 48s cd-handle-prerelease
cd-handle-prerelease
December 16, 2024 09:06 31m 48s
cd: prerelease .github/workflows/ci.yml #1442: Pull request #968 synchronize by gares
December 16, 2024 09:04 21m 49s cd-handle-prerelease
cd-handle-prerelease
December 16, 2024 09:04 21m 49s
cd: prerelease .github/workflows/ci.yml #1441: Pull request #968 synchronize by gares
December 16, 2024 09:00 21m 35s cd-handle-prerelease
cd-handle-prerelease
December 16, 2024 09:00 21m 35s
cd: prerelease .github/workflows/ci.yml #1440: Pull request #968 opened by gares
December 16, 2024 08:30 14m 24s cd-handle-prerelease
cd-handle-prerelease
December 16, 2024 08:30 14m 24s
build(deps): bump nanoid from 3.3.6 to 3.3.8 in /client/goal-view-ui .github/workflows/ci.yml #1439: Pull request #967 opened by dependabot bot
December 13, 2024 15:12 13m 58s dependabot/npm_and_yarn/client/goal-view-ui/nanoid-3.3.8
dependabot/npm_and_yarn/client/goal-view-ui/nanoid-3.3.8
December 13, 2024 15:12 13m 58s
build(deps): bump nanoid from 3.3.6 to 3.3.8 in /client/search-ui .github/workflows/ci.yml #1438: Pull request #966 opened by dependabot bot
December 13, 2024 15:11 10m 47s dependabot/npm_and_yarn/client/search-ui/nanoid-3.3.8
dependabot/npm_and_yarn/client/search-ui/nanoid-3.3.8
December 13, 2024 15:11 10m 47s
Merge pull request #965 from coq/bump-version .github/workflows/ci.yml #1437: Commit 26f3f1f pushed by rtetley
December 13, 2024 15:03 9m 9s main
main
December 13, 2024 15:03 9m 9s
Update version for pre-release .github/workflows/ci.yml #1436: Pull request #965 opened by rtetley
December 13, 2024 14:26 35m 3s bump-version
bump-version
December 13, 2024 14:26 35m 3s
Export API to run tactics at a given loc .github/workflows/ci.yml #1435: Pull request #964 synchronize by rtetley
December 13, 2024 14:19 13m 27s coq-pilot
coq-pilot
December 13, 2024 14:19 13m 27s
Merge pull request #963 from coq/error-cursor-position .github/workflows/ci.yml #1434: Commit ca8209f pushed by rtetley
December 11, 2024 14:28 15m 11s main
main
December 11, 2024 14:28 15m 11s
Merge pull request #962 from coq/default-goal-display .github/workflows/ci.yml #1433: Commit 050c12d pushed by rtetley
December 11, 2024 13:53 31m 24s main
main
December 11, 2024 13:53 31m 24s
Merge pull request #960 from coq/get-proof-blocks-api .github/workflows/ci.yml #1432: Commit c33919f pushed by rtetley
December 11, 2024 13:52 21m 5s main
main
December 11, 2024 13:52 21m 5s
Place the cursor at the end of the error when block on error mode is active .github/workflows/ci.yml #1431: Pull request #963 synchronize by rtetley
December 11, 2024 13:45 18m 45s error-cursor-position
error-cursor-position
December 11, 2024 13:45 18m 45s
Place the cursor at the end of the error when block on error mode is active .github/workflows/ci.yml #1430: Pull request #963 opened by rtetley
December 11, 2024 10:34 14m 37s error-cursor-position
error-cursor-position
December 11, 2024 10:34 14m 37s
Remove hypothesis display from goal list .github/workflows/ci.yml #1429: Pull request #962 synchronize by rtetley
December 11, 2024 09:53 5m 18s default-goal-display
default-goal-display
December 11, 2024 09:53 5m 18s