Skip to content

Actions: coq-community/vscoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
758 workflow runs
758 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
v2.1.4 .github/workflows/cd.yml #27: Release v2.1.4 published by rtetley
July 4, 2024 05:26 In progress
July 4, 2024 05:26 In progress
Merge pull request #818 from coq-community/fix-deploy .github/workflows/ci.yml #1088: Commit 93d07e6 pushed by rtetley
July 3, 2024 22:16 13m 29s v2.1.4
v2.1.4
July 3, 2024 22:16 13m 29s
Merge pull request #818 from coq-community/fix-deploy .github/workflows/ci.yml #1087: Commit 93d07e6 pushed by rtetley
July 3, 2024 22:13 11m 25s main
main
July 3, 2024 22:13 11m 25s
Remove install-windows from create-release until it is fixed upstream .github/workflows/ci.yml #1086: Pull request #818 opened by rtetley
July 3, 2024 09:28 11m 45s fix-deploy
fix-deploy
July 3, 2024 09:28 11m 45s
Testing windows CI .github/workflows/ci.yml #1085: Pull request #817 opened by rtetley
July 3, 2024 08:16 51m 44s try-windows-ci
try-windows-ci
July 3, 2024 08:16 51m 44s
Merge pull request #812 from coq-community/bump-version .github/workflows/ci.yml #1084: Commit b64bef0 pushed by rtetley
June 29, 2024 07:24 11m 15s v2.1.4
v2.1.4
June 29, 2024 07:24 11m 15s
Merge pull request #812 from coq-community/bump-version .github/workflows/ci.yml #1083: Commit b64bef0 pushed by rtetley
June 28, 2024 13:43 17m 22s v2.1.4
v2.1.4
June 28, 2024 13:43 17m 22s
Merge pull request #812 from coq-community/bump-version .github/workflows/ci.yml #1082: Commit b64bef0 pushed by rtetley
June 28, 2024 13:42 11m 28s main
main
June 28, 2024 13:42 11m 28s
Prepare minor release .github/workflows/ci.yml #1081: Pull request #812 opened by rtetley
June 28, 2024 13:28 11m 38s bump-version
bump-version
June 28, 2024 13:28 11m 38s
Remove document from state table when it is closed. .github/workflows/ci.yml #1080: Pull request #753 synchronize by gares
June 28, 2024 12:36 26m 16s delete-file-on-close
delete-file-on-close
June 28, 2024 12:36 26m 16s
Merge pull request #808 from Durbatuluk1701/main .github/workflows/ci.yml #1079: Commit 467d033 pushed by rtetley
June 28, 2024 11:07 18m 12s main
main
June 28, 2024 11:07 18m 12s
Merge pull request #806 from FissoreD/patch-1 .github/workflows/ci.yml #1078: Commit ab770fd pushed by gares
June 27, 2024 16:12 11m 13s main
main
June 27, 2024 16:12 11m 13s
Readme updates for default proof mode Manual and typos .github/workflows/ci.yml #1077: Pull request #808 opened by Durbatuluk1701
June 27, 2024 14:47 25m 50s Durbatuluk1701:main
Durbatuluk1701:main
June 27, 2024 14:47 25m 50s
test coq 8.20 .github/workflows/ci.yml #1076: Pull request #807 opened by gares
June 27, 2024 13:53 24m 27s ci-8.20
ci-8.20
June 27, 2024 13:53 24m 27s
Quickfix are in coq 8.21 .github/workflows/ci.yml #1075: Pull request #806 synchronize by FissoreD
June 27, 2024 13:28 14m 31s FissoreD:patch-1
FissoreD:patch-1
June 27, 2024 13:28 14m 31s
Quickfix are in coq 8.21 .github/workflows/ci.yml #1074: Pull request #806 opened by FissoreD
June 27, 2024 13:26 13m 41s FissoreD:patch-1
FissoreD:patch-1
June 27, 2024 13:26 13m 41s
Remove document from state table when it is closed. .github/workflows/ci.yml #1073: Pull request #753 synchronize by gares
June 27, 2024 13:07 11m 40s delete-file-on-close
delete-file-on-close
June 27, 2024 13:07 11m 40s
Remove document from state table when it is closed. .github/workflows/ci.yml #1072: Pull request #753 synchronize by gares
June 27, 2024 12:17 12m 27s delete-file-on-close
delete-file-on-close
June 27, 2024 12:17 12m 27s
Remove document from state table when it is closed. .github/workflows/ci.yml #1071: Pull request #753 synchronize by gares
June 27, 2024 11:57 11m 21s delete-file-on-close
delete-file-on-close
June 27, 2024 11:57 11m 21s
Fix highlights .github/workflows/ci.yml #1070: Pull request #805 synchronize by rtetley
June 27, 2024 09:18 12m 15s fix-highlights
fix-highlights
June 27, 2024 09:18 12m 15s
Fix highlights .github/workflows/ci.yml #1069: Pull request #805 opened by rtetley
June 27, 2024 08:40 18m 12s fix-highlights
fix-highlights
June 27, 2024 08:40 18m 12s
Merge pull request #801 from coq-community/fix-interp-recovery-crash .github/workflows/ci.yml #1068: Commit be91639 pushed by rtetley
June 27, 2024 08:34 16m 27s main
main
June 27, 2024 08:34 16m 27s
Merge pull request #781 from coq-community/fix-e .github/workflows/ci.yml #1067: Commit ae5b388 pushed by gares
June 27, 2024 08:33 11m 19s main
main
June 27, 2024 08:33 11m 19s
Fix errors when recovering from interp-error .github/workflows/ci.yml #1066: Pull request #801 synchronize by rtetley
June 27, 2024 08:11 16m 36s fix-interp-recovery-crash
fix-interp-recovery-crash
June 27, 2024 08:11 16m 36s
Merge pull request #804 from coq-community/fix-pp-display .github/workflows/ci.yml #1065: Commit 1650e99 pushed by rtetley
June 27, 2024 07:16 11m 54s main
main
June 27, 2024 07:16 11m 54s