Skip to content

Actions: coq/vscoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
753 workflow runs
753 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump version in preparation for release 2.1.1 .github/workflows/ci.yml #928: Pull request #735 opened by rtetley
February 16, 2024 15:46 57m 5s bump-version-2-1-1
bump-version-2-1-1
February 16, 2024 15:46 57m 5s
Add api for step navigation in continuous mode. .github/workflows/ci.yml #927: Pull request #734 opened by rtetley
February 16, 2024 15:41 48m 53s nav-commands-continuous-mode
nav-commands-continuous-mode
February 16, 2024 15:41 48m 53s
Merge pull request #732 from coq-community/parse-errors .github/workflows/ci.yml #926: Commit a1b0323 pushed by rtetley
February 16, 2024 14:26 52m 37s main
main
February 16, 2024 14:26 52m 37s
Fix parse errors and highlight zone .github/workflows/ci.yml #925: Pull request #732 synchronize by rtetley
February 16, 2024 13:31 51m 13s parse-errors
parse-errors
February 16, 2024 13:31 51m 13s
Fix parse errors and highlight zone .github/workflows/ci.yml #924: Pull request #732 synchronize by rtetley
February 16, 2024 13:12 56m 51s parse-errors
parse-errors
February 16, 2024 13:12 56m 51s
Fix parse errors and highlight zone .github/workflows/ci.yml #923: Pull request #732 opened by rtetley
February 16, 2024 09:37 45m 58s parse-errors
parse-errors
February 16, 2024 09:37 45m 58s
Merge pull request #730 from coq-community/dev-shells .github/workflows/ci.yml #922: Commit f393495 pushed by rtetley
February 15, 2024 13:02 42m 23s main
main
February 15, 2024 13:02 42m 23s
Fix dev shells in flake .github/workflows/ci.yml #921: Pull request #730 opened by rtetley
February 15, 2024 12:53 1h 0m 18s dev-shells
dev-shells
February 15, 2024 12:53 1h 0m 18s
Merge pull request #729 from coq-community/goal-position .github/workflows/ci.yml #920: Commit cd14130 pushed by rtetley
February 14, 2024 10:33 1h 1m 21s main
main
February 14, 2024 10:33 1h 1m 21s
Adding goal indicator to tab view .github/workflows/ci.yml #919: Pull request #729 opened by rtetley
February 14, 2024 10:11 53m 6s goal-position
goal-position
February 14, 2024 10:11 53m 6s
Merge pull request #727 from coq-community/update-vscode-languageclient .github/workflows/ci.yml #918: Commit 158dc44 pushed by rtetley
February 14, 2024 09:46 56m 18s main
main
February 14, 2024 09:46 56m 18s
Upgrading language client to latest version .github/workflows/ci.yml #917: Pull request #727 opened by rtetley
February 14, 2024 09:00 59m 12s update-vscode-languageclient
update-vscode-languageclient
February 14, 2024 09:00 59m 12s
Migrate to yarn v4 .github/workflows/ci.yml #916: Pull request #726 synchronize by rtetley
February 14, 2024 08:17 55m 3s yarn-migrate
yarn-migrate
February 14, 2024 08:17 55m 3s
Migrate to yarn v4 .github/workflows/ci.yml #915: Pull request #726 synchronize by rtetley
February 14, 2024 08:10 41m 16s yarn-migrate
yarn-migrate
February 14, 2024 08:10 41m 16s
Migrate to yarn v4 .github/workflows/ci.yml #914: Pull request #726 synchronize by rtetley
February 13, 2024 17:11 56m 11s yarn-migrate
yarn-migrate
February 13, 2024 17:11 56m 11s
Migrate to yarn v4 .github/workflows/ci.yml #913: Pull request #726 synchronize by rtetley
February 13, 2024 16:55 50m 1s yarn-migrate
yarn-migrate
February 13, 2024 16:55 50m 1s
Migrate to yarn v4 .github/workflows/ci.yml #912: Pull request #726 synchronize by rtetley
February 13, 2024 16:52 1h 10m 7s yarn-migrate
yarn-migrate
February 13, 2024 16:52 1h 10m 7s
Migrate to yarn v4 .github/workflows/ci.yml #911: Pull request #726 synchronize by rtetley
February 13, 2024 16:48 1h 10m 34s yarn-migrate
yarn-migrate
February 13, 2024 16:48 1h 10m 34s
Migrate to yarn v4 .github/workflows/ci.yml #910: Pull request #726 synchronize by rtetley
February 13, 2024 16:27 53m 23s yarn-migrate
yarn-migrate
February 13, 2024 16:27 53m 23s
Migrate to yarn v4 .github/workflows/ci.yml #909: Pull request #726 synchronize by rtetley
February 13, 2024 16:12 57m 11s yarn-migrate
yarn-migrate
February 13, 2024 16:12 57m 11s
Migrate to yarn v4 .github/workflows/ci.yml #908: Pull request #726 opened by rtetley
February 13, 2024 15:55 1h 3m 24s yarn-migrate
yarn-migrate
February 13, 2024 15:55 1h 3m 24s
Merge pull request #725 from coq-community/fix-ci .github/workflows/ci.yml #907: Commit 6cbe9d3 pushed by rtetley
February 13, 2024 15:20 51m 38s main
main
February 13, 2024 15:20 51m 38s
Fix ci .github/workflows/ci.yml #906: Pull request #725 synchronize by rtetley
February 13, 2024 14:03 42m 40s fix-ci
fix-ci
February 13, 2024 14:03 42m 40s
Fix ci .github/workflows/ci.yml #905: Pull request #725 opened by rtetley
February 13, 2024 09:46 1h 1m 53s fix-ci
fix-ci
February 13, 2024 09:46 1h 1m 53s
.github/workflows/publish-extension.yml .github/workflows/publish-extension.yml #5: Manually run by rtetley
February 13, 2024 07:44 48s v2.1.0+coq8.19
v2.1.0+coq8.19
February 13, 2024 07:44 48s
ProTip! You can narrow down the results and go further in time using created:<2024-02-13 or the other filters available.