Skip to content

Actions: rocq-prover/vsrocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
513 workflow runs
513 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat: Add hypothesis filtering mechanism to only show Prop hypotheses .github/workflows/ci.yml #2115: Pull request #1226 synchronize by KacperFKorban
52m 45s KacperFKorban:prop-only-hyps
KacperFKorban:prop-only-hyps
52m 45s
feat: Add hypothesis filtering mechanism to only show Prop hypotheses .github/workflows/ci.yml #2114: Pull request #1226 synchronize by KacperFKorban
28m 32s KacperFKorban:prop-only-hyps
KacperFKorban:prop-only-hyps
28m 32s
feat: Add hypothesis filtering mechanism to only show Prop hypotheses .github/workflows/ci.yml #2113: Pull request #1226 synchronize by KacperFKorban
19m 10s KacperFKorban:prop-only-hyps
KacperFKorban:prop-only-hyps
19m 10s
fix: wait for UI to send display settings .github/workflows/ci.yml #2112: Pull request #1264 synchronize by shilangyu
24m 29s shilangyu:mw/config
shilangyu:mw/config
24m 29s
feat: Add hypothesis filtering mechanism to only show Prop hypotheses .github/workflows/ci.yml #2111: Pull request #1226 synchronize by KacperFKorban
7m 27s KacperFKorban:prop-only-hyps
KacperFKorban:prop-only-hyps
7m 27s
feat: Add hypothesis filtering mechanism to only show Prop hypotheses .github/workflows/ci.yml #2110: Pull request #1226 synchronize by KacperFKorban
19m 45s KacperFKorban:prop-only-hyps
KacperFKorban:prop-only-hyps
19m 45s
Merge pull request #1266 from shilangyu/mw/fix-pp-styles .github/workflows/ci.yml #2109: Commit 17f1cb9 pushed by gares
20m 23s main
main
20m 23s
Include css in the pp-display package .github/workflows/ci.yml #2108: Pull request #1266 opened by shilangyu
17m 35s shilangyu:mw/fix-pp-styles
shilangyu:mw/fix-pp-styles
17m 35s
fix: wait for UI to send display settings .github/workflows/ci.yml #2107: Pull request #1264 opened by shilangyu
19m 26s shilangyu:mw/config
shilangyu:mw/config
19m 26s
Merge pull request #1263 from shilangyu/mw/faster-makefile .github/workflows/ci.yml #2106: Commit 2ad60a8 pushed by gares
17m 57s main
main
17m 57s
Evaluate DUNE_IN_FILES eagerly .github/workflows/ci.yml #2105: Pull request #1263 opened by shilangyu
17m 22s shilangyu:mw/faster-makefile
shilangyu:mw/faster-makefile
17m 22s
feat: textDocument/highlight .github/workflows/ci.yml #2104: Pull request #1262 synchronize by shilangyu
3m 27s shilangyu:mw/simple-highlight
shilangyu:mw/simple-highlight
3m 27s
feat: textDocument/highlight .github/workflows/ci.yml #2103: Pull request #1262 synchronize by shilangyu
30m 20s shilangyu:mw/simple-highlight
shilangyu:mw/simple-highlight
30m 20s
feat: textDocument/highlight .github/workflows/ci.yml #2102: Pull request #1262 opened by shilangyu
16m 36s shilangyu:mw/simple-highlight
shilangyu:mw/simple-highlight
16m 36s
feat: textDocument/foldingRange .github/workflows/ci.yml #2101: Pull request #1256 synchronize by KacperFKorban
18m 49s KacperFKorban:folding-ranges
KacperFKorban:folding-ranges
18m 49s
feat: textDocument/foldingRange .github/workflows/ci.yml #2100: Pull request #1256 synchronize by KacperFKorban
24m 28s KacperFKorban:folding-ranges
KacperFKorban:folding-ranges
24m 28s
feat: Add hypothesis filtering mechanism to only show Prop hypotheses .github/workflows/ci.yml #2099: Pull request #1226 synchronize by KacperFKorban
40m 14s KacperFKorban:prop-only-hyps
KacperFKorban:prop-only-hyps
40m 14s
feat: Add hypothesis filtering mechanism to only show Prop hypotheses .github/workflows/ci.yml #2098: Pull request #1226 synchronize by KacperFKorban
24m 26s KacperFKorban:prop-only-hyps
KacperFKorban:prop-only-hyps
24m 26s
feat: Add hypothesis filtering mechanism to only show Prop hypotheses .github/workflows/ci.yml #2097: Pull request #1226 synchronize by KacperFKorban
19m 52s KacperFKorban:prop-only-hyps
KacperFKorban:prop-only-hyps
19m 52s
Merge pull request #1261 from KacperFKorban/fix-i1252 .github/workflows/ci.yml #2096: Commit 3353cd7 pushed by gares
19m 54s main
main
19m 54s
fix: also enqueue block_events in execution_finished .github/workflows/ci.yml #2095: Pull request #1261 opened by KacperFKorban
19m 8s KacperFKorban:fix-i1252
KacperFKorban:fix-i1252
19m 8s
Simple MCP server implementation based on vsrocq .github/workflows/ci.yml #2094: Pull request #1194 synchronize by gares
21m 0s KacperFKorban:vsrocqmcp
KacperFKorban:vsrocqmcp
21m 0s
Adapt to rocq-prover/rocq#22107 (proof using API change) .github/workflows/ci.yml #2093: Pull request #1259 opened by SkySkimmer
1h 47m 0s SkySkimmer:keep-using
SkySkimmer:keep-using
1h 47m 0s
Merge pull request #1258 from danielliao07/main .github/workflows/ci.yml #2092: Commit ea17129 pushed by gares
2h 6m 52s main
main
2h 6m 52s
Merge pull request #1257 from thomas-lamiaux/patch-4 .github/workflows/ci.yml #2091: Commit cc89d93 pushed by gares
1h 30m 35s main
main
1h 30m 35s