Skip to content

Actions: coq-community/vscoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
894 workflow runs
894 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #557 from coq-community/improve-e2e .github/workflows/ci.yml #595: Commit 72eb7cf pushed by maximedenes
August 6, 2023 09:14 48m 12s main
main
August 6, 2023 09:14 48m 12s
Improve e2e tests doc & CI .github/workflows/ci.yml #594: Pull request #557 opened by maximedenes
August 6, 2023 08:01 56m 32s improve-e2e
improve-e2e
August 6, 2023 08:01 56m 32s
Merge pull request #551 from coq-community/generalize-hover .github/workflows/ci.yml #593: Commit dbc3eb9 pushed by maximedenes
August 5, 2023 08:11 1h 3m 58s main
main
August 5, 2023 08:11 1h 3m 58s
Merge pull request #555 from coq-community/bug/hyp-indent .github/workflows/ci.yml #592: Commit 8e247d8 pushed by rtetley
August 5, 2023 07:15 58m 46s main
main
August 5, 2023 07:15 58m 46s
v1.9.0+coq8.18 .github/workflows/cd.yml #2: Release v1.9.0+coq8.18 created by maximedenes
August 4, 2023 17:00 1m 35s
August 4, 2023 17:00 1m 35s
Correct goal view hypothesis display. .github/workflows/ci.yml #591: Pull request #555 opened by rtetley
August 4, 2023 16:55 58m 39s bug/hyp-indent
bug/hyp-indent
August 4, 2023 16:55 58m 39s
Merge pull request #554 from coq-community/adjust-version .github/workflows/ci.yml #590: Commit 148c7e6 pushed by maximedenes
August 4, 2023 16:51 57m 48s main
main
August 4, 2023 16:51 57m 48s
Rename beta version to 1.9.0 .github/workflows/ci.yml #589: Pull request #554 opened by maximedenes
August 4, 2023 16:33 52m 17s adjust-version
adjust-version
August 4, 2023 16:33 52m 17s
.github/workflows/cd.yml .github/workflows/cd.yml #1: created by maximedenes
August 4, 2023 16:05 1m 53s
August 4, 2023 16:05 1m 53s
Merge pull request #552 from coq-community/prepare-deploy .github/workflows/ci.yml #588: Commit 9c2a369 pushed by maximedenes
August 4, 2023 15:31 58m 10s main
main
August 4, 2023 15:31 58m 10s
Generalize support for hover .github/workflows/ci.yml #587: Pull request #551 synchronize by maximedenes
August 4, 2023 15:31 54m 49s generalize-hover
generalize-hover
August 4, 2023 15:31 54m 49s
Merge pull request #553 from coq-community/bug/seperate-apis .github/workflows/ci.yml #586: Commit 074c36b pushed by rtetley
August 4, 2023 15:27 59m 43s main
main
August 4, 2023 15:27 59m 43s
Prepare publication .github/workflows/ci.yml #585: Pull request #552 synchronize by maximedenes
August 4, 2023 15:06 1h 16m 18s prepare-deploy
prepare-deploy
August 4, 2023 15:06 1h 16m 18s
Corrected the diagnostics and feedbacks api .github/workflows/ci.yml #584: Pull request #553 opened by rtetley
August 4, 2023 15:04 1h 6m 0s bug/seperate-apis
bug/seperate-apis
August 4, 2023 15:04 1h 6m 0s
Prepare publication .github/workflows/ci.yml #583: Pull request #552 opened by maximedenes
August 4, 2023 14:48 57m 18s prepare-deploy
prepare-deploy
August 4, 2023 14:48 57m 18s
Generalize support for hover .github/workflows/ci.yml #582: Pull request #551 opened by maximedenes
August 4, 2023 13:26 1h 2m 48s generalize-hover
generalize-hover
August 4, 2023 13:26 1h 2m 48s
Merge pull request #543 from coq-community/diag-channels .github/workflows/ci.yml #581: Commit 2f7e869 pushed by maximedenes
August 4, 2023 11:40 1h 11m 20s main
main
August 4, 2023 11:40 1h 11m 20s
Merge pull request #548 from coq-community/fix-diagnostic-shift .github/workflows/ci.yml #580: Commit c4451c1 pushed by rtetley
August 4, 2023 09:36 1h 2m 23s main
main
August 4, 2023 09:36 1h 2m 23s
Diag channels .github/workflows/ci.yml #579: Pull request #543 synchronize by rtetley
August 4, 2023 09:18 1h 2m 36s diag-channels
diag-channels
August 4, 2023 09:18 1h 2m 36s
Diag channels .github/workflows/ci.yml #578: Pull request #543 synchronize by rtetley
August 4, 2023 08:24 1h 3m 37s diag-channels
diag-channels
August 4, 2023 08:24 1h 3m 37s
Correctly shift diagnostics when applying (non-invalidating) edits .github/workflows/ci.yml #577: Pull request #548 opened by maximedenes
August 4, 2023 07:27 1h 14m 0s fix-diagnostic-shift
fix-diagnostic-shift
August 4, 2023 07:27 1h 14m 0s
Diag channels .github/workflows/ci.yml #576: Pull request #543 synchronize by rtetley
August 4, 2023 06:19 55m 42s diag-channels
diag-channels
August 4, 2023 06:19 55m 42s
Merge pull request #545 from coq-community/rm-default-bt-args .github/workflows/ci.yml #575: Commit 3aa6513 pushed by maximedenes
August 3, 2023 18:19 1h 3m 3s main
main
August 3, 2023 18:19 1h 3m 3s
Merge pull request #547 from coq-community/fix-synterp-reset .github/workflows/ci.yml #574: Commit d9b9280 pushed by maximedenes
August 3, 2023 18:18 1h 5m 36s main
main
August 3, 2023 18:18 1h 5m 36s
Fix wrong synterp state when deleting first sentence. .github/workflows/ci.yml #573: Pull request #547 opened by maximedenes
August 3, 2023 16:30 1h 0m 49s fix-synterp-reset
fix-synterp-reset
August 3, 2023 16:30 1h 0m 49s
ProTip! You can narrow down the results and go further in time using created:<2023-08-03 or the other filters available.