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
Coq bin detection .github/workflows/ci.yml #390: Pull request #439 synchronize by rtetley
May 23, 2023 13:25 23m 47s coq-bin-detection
coq-bin-detection
May 23, 2023 13:25 23m 47s
Adding relevant screencaptures to the readme .github/workflows/ci.yml #389: Pull request #476 opened by rtetley
May 23, 2023 13:04 16m 19s screenshots
screenshots
May 23, 2023 13:04 16m 19s
Merge pull request #475 from coq-community/feature/persistent-decorat… .github/workflows/ci.yml #388: Commit d727bba pushed by rtetley
May 23, 2023 08:32 19m 57s main
main
May 23, 2023 08:32 19m 57s
Coq bin detection .github/workflows/ci.yml #387: Pull request #439 synchronize by rtetley
May 23, 2023 08:31 23m 17s coq-bin-detection
coq-bin-detection
May 23, 2023 08:31 23m 17s
Feature/persistent decorations .github/workflows/ci.yml #386: Pull request #475 synchronize by rtetley
May 23, 2023 08:07 17m 51s feature/persistent-decorations
feature/persistent-decorations
May 23, 2023 08:07 17m 51s
Feature/persistent decorations .github/workflows/ci.yml #385: Pull request #475 opened by rtetley
May 22, 2023 14:08 20m 57s feature/persistent-decorations
feature/persistent-decorations
May 22, 2023 14:08 20m 57s
move doc_id inside execManager (#448) .github/workflows/ci.yml #384: Commit 70e68cb pushed by gares
May 22, 2023 10:53 17m 46s main
main
May 22, 2023 10:53 17m 46s
[vscoq2] move doc_id inside execManager .github/workflows/ci.yml #383: Pull request #448 synchronize by gares
May 22, 2023 09:58 19m 16s move_doc_id_to_execM
move_doc_id_to_execM
May 22, 2023 09:58 19m 16s
ProTip! You can narrow down the results and go further in time using created:<2023-05-22 or the other filters available.