Skip to content

Actions: rocq-community/coq-dpdgraph

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
70 workflow runs
70 workflow runs

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
Add DependGraph TypeOnly flag for type-only dependency collection Docker CI #179: Pull request #176 synchronize by JasonGross
2m 42s JasonGross:typeonly-option
JasonGross:typeonly-option
2m 42s
Add DependGraph TypeOnly flag for type-only dependency collection Docker CI #178: Pull request #176 synchronize by JasonGross
2m 17s JasonGross:typeonly-option
JasonGross:typeonly-option
2m 17s
Add DependGraph TypeOnly flag for type-only dependency collection Docker CI #177: Pull request #176 opened by JasonGross
2m 19s JasonGross:typeonly-option
JasonGross:typeonly-option
2m 19s
Correctly detect body for module-type-locked constants Docker CI #176: Pull request #173 synchronize by JasonGross
2m 43s module-type-locked-body
module-type-locked-body
2m 43s
Correctly detect body for module-type-locked constants Docker CI #175: Pull request #173 synchronize by JasonGross
2m 18s module-type-locked-body
module-type-locked-body
2m 18s
Add opaque access Goptions flag (dev) Docker CI #174: Commit 8643388 pushed by ybertot
2m 19s coq-master
coq-master
2m 19s
Allow Print DependGraph to accept a list of references Docker CI #173: Commit 3c7437c pushed by ybertot
2m 19s coq-master
coq-master
2m 19s
Correctly detect body for module-type-locked constants Docker CI #172: Pull request #173 synchronize by JasonGross
2m 32s module-type-locked-body
module-type-locked-body
2m 32s
Correctly detect body for module-type-locked constants Docker CI #171: Pull request #173 synchronize by JasonGross
2m 22s module-type-locked-body
module-type-locked-body
2m 22s
Correctly detect body for module-type-locked constants Docker CI #170: Pull request #173 synchronize by JasonGross
2m 29s module-type-locked-body
module-type-locked-body
2m 29s
Correctly detect body for module-type-locked constants Docker CI #169: Pull request #173 synchronize by JasonGross
2m 3s module-type-locked-body
module-type-locked-body
2m 3s
Remove dead function Docker CI #168: Pull request #175 opened by JasonGross
2m 25s JasonGross:remove-dead-code
JasonGross:remove-dead-code
2m 25s
Correctly detect body for module-type-locked constants Docker CI #167: Pull request #173 synchronize by JasonGross
2m 26s module-type-locked-body
module-type-locked-body
2m 26s
Add opaque access Goptions flag Docker CI #166: Pull request #168 synchronize by JasonGross
2m 28s robertzhidealx:coq-master
robertzhidealx:coq-master
2m 28s
Add opaque access Goptions flag Docker CI #165: Pull request #168 synchronize by JasonGross
2m 23s robertzhidealx:coq-master
robertzhidealx:coq-master
2m 23s
Add opaque access Goptions flag Docker CI #164: Pull request #168 synchronize by JasonGross
2m 29s robertzhidealx:coq-master
robertzhidealx:coq-master
2m 29s
Allow Print DependGraph to accept a list of references Docker CI #163: Pull request #167 synchronize by JasonGross
2m 27s JasonGross:print-multiple-deps
JasonGross:print-multiple-deps
2m 27s
Add opaque, prim, and symb attributes to constant nodes Docker CI #162: Commit b527597 pushed by ybertot
2m 16s coq-master
coq-master
2m 16s
Add include path option to rocq compile command Docker CI #161: Commit c29e035 pushed by ybertot
2m 24s coq-master
coq-master
2m 24s
Correctly detect body for module-type-locked constants Docker CI #160: Pull request #173 synchronize by JasonGross
2m 15s module-type-locked-body
module-type-locked-body
2m 15s
Correctly detect body for module-type-locked constants Docker CI #159: Pull request #173 synchronize by JasonGross
2m 19s module-type-locked-body
module-type-locked-body
2m 19s
Correctly detect body for module-type-locked constants Docker CI #158: Pull request #173 synchronize by JasonGross
2m 9s module-type-locked-body
module-type-locked-body
2m 9s
Add include path option to rocq compile command Docker CI #157: Pull request #174 opened by JasonGross
2m 17s I
I
2m 17s
Correctly detect body for module-type-locked constants Docker CI #156: Pull request #173 synchronize by JasonGross
2m 3s module-type-locked-body
module-type-locked-body
2m 3s
Correctly detect body for module-type-locked constants Docker CI #155: Pull request #173 opened by JasonGross
2m 17s module-type-locked-body
module-type-locked-body
2m 17s