Skip to content

Actions: rocq-prover/vsrocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
505 workflow runs
505 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1212 from SkySkimmer/no-wrap .github/workflows/ci.yml #1882: Commit ce10079 pushed by gares
26m 23s main
main
26m 23s
Add support for goal names in tabs + accordion .github/workflows/ci.yml #1881: Pull request #1191 synchronize by dhalilov
14m 28s dhalilov:goal-names
dhalilov:goal-names
14m 28s
Stop using the rocq-wrap-coqc script .github/workflows/ci.yml #1880: Pull request #1212 synchronize by SkySkimmer
44m 34s SkySkimmer:no-wrap
SkySkimmer:no-wrap
44m 34s
Add support for goal names in tabs + accordion .github/workflows/ci.yml #1879: Pull request #1191 synchronize by gares
33m 1s dhalilov:goal-names
dhalilov:goal-names
33m 1s
Stop using the rocq-wrap-coqc script .github/workflows/ci.yml #1878: Pull request #1212 opened by SkySkimmer
24m 42s SkySkimmer:no-wrap
SkySkimmer:no-wrap
24m 42s
Merge pull request #1211 from SkySkimmer/up-opam .github/workflows/ci.yml #1877: Commit ce74017 pushed by SkySkimmer
17m 10s main
main
17m 10s
Update version constraint in opam file post 9.2 RC .github/workflows/ci.yml #1876: Pull request #1211 opened by SkySkimmer
15m 31s SkySkimmer:up-opam
SkySkimmer:up-opam
15m 31s
Add support for goal names in tabs + accordion .github/workflows/ci.yml #1875: Pull request #1191 synchronize by dhalilov
13m 0s dhalilov:goal-names
dhalilov:goal-names
13m 0s
Simple MCP server implementation based on vsrocq .github/workflows/ci.yml #1874: Pull request #1194 synchronize by KacperFKorban
17m 46s KacperFKorban:vsrocqmcp
KacperFKorban:vsrocqmcp
17m 46s
Support custom background colors for manual mode areas .github/workflows/ci.yml #1873: Pull request #1197 opened by EugZol
16m 24s EugZol:main
EugZol:main
16m 24s
Simple MCP server implementation based on vsrocq .github/workflows/ci.yml #1872: Pull request #1194 opened by KacperFKorban
24m 5s KacperFKorban:vsrocqmcp
KacperFKorban:vsrocqmcp
24m 5s
Docs: highlight extension/server version matching and clarify opam install examples .github/workflows/ci.yml #1871: Pull request #1192 opened by Maverick618
17m 2s Maverick618:docs/version-alignment-note
Maverick618:docs/version-alignment-note
17m 2s
Add support for goal names in tabs + accordion .github/workflows/ci.yml #1870: Pull request #1191 synchronize by dhalilov
12m 5s dhalilov:goal-names
dhalilov:goal-names
12m 5s
Add support for goal names in tabs + accordion .github/workflows/ci.yml #1869: Pull request #1191 synchronize by dhalilov
12m 3s dhalilov:goal-names
dhalilov:goal-names
12m 3s
Add support for goal names in tabs + accordion .github/workflows/ci.yml #1868: Pull request #1191 synchronize by dhalilov
12m 30s dhalilov:goal-names
dhalilov:goal-names
12m 30s
reparse/diff only around the edit .github/workflows/ci.yml #1867: Pull request #1189 synchronize by gares
23m 33s faster-diff
faster-diff
23m 33s
speedup range/position of loc .github/workflows/ci.yml #1866: Pull request #1190 synchronize by gares
14m 24s faster-outline
faster-outline
14m 24s
speedup range/position of loc .github/workflows/ci.yml #1865: Pull request #1190 synchronize by gares
14m 25s faster-outline
faster-outline
14m 25s
fix build on windows .github/workflows/ci.yml #1864: Pull request #1181 synchronize by gares
18m 37s fix-win
fix-win
18m 37s
Add support for goal names in tabs + accordion .github/workflows/ci.yml #1863: Pull request #1191 opened by dhalilov
13m 21s dhalilov:goal-names
dhalilov:goal-names
13m 21s
speedup range/position of loc .github/workflows/ci.yml #1862: Pull request #1190 opened by gares
25m 40s faster-outline
faster-outline
25m 40s
reparse/diff only around the edit .github/workflows/ci.yml #1861: Pull request #1189 opened by gares
20m 57s faster-diff
faster-diff
20m 57s
Merge pull request #1188 from rocq-prover/outline-on-demand .github/workflows/ci.yml #1860: Commit cf0e9c3 pushed by gares
42m 57s main
main
42m 57s
Merge pull request #1187 from rocq-prover/perf-test .github/workflows/ci.yml #1859: Commit 196be06 pushed by gares
35m 27s main
main
35m 27s
Merge pull request #1186 from rocq-prover/doc-tests .github/workflows/ci.yml #1858: Commit 374892e pushed by gares
26m 1s main
main
26m 1s