Skip to content

Actions: GoelandProver/Goeland

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
899 workflow runs
899 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve formatting by using golines Full CI #258: Pull request #69 labeled by jrosain
2h 6m 57s jrosain:use-golines
jrosain:use-golines
2h 6m 57s
Improve formatting by using golines Full CI Remove Labels #50: Pull request #69 labeled by jrosain
9s
9s
Improve formatting by using golines Build #232: Pull request #69 synchronize by jrosain
31s jrosain:use-golines
jrosain:use-golines
31s
Improve formatting by using golines Lint #4: Pull request #69 synchronize by jrosain
1m 35s jrosain:use-golines
jrosain:use-golines
1m 35s
Improve formatting by using golines PR Labelling #197: Pull request #69 synchronize by jrosain
9s
9s
Improve formatting by using golines Lint #3: Pull request #69 synchronize by jrosain
1m 35s jrosain:use-golines
jrosain:use-golines
1m 35s
Improve formatting by using golines Build #231: Pull request #69 synchronize by jrosain
35s jrosain:use-golines
jrosain:use-golines
35s
Improve formatting by using golines PR Labelling #196: Pull request #69 synchronize by jrosain
10s
10s
Improve formatting by using golines Lint #2: Pull request #69 synchronize by jrosain
1m 23s jrosain:use-golines
jrosain:use-golines
1m 23s
Improve formatting by using golines Build #230: Pull request #69 synchronize by jrosain
28s jrosain:use-golines
jrosain:use-golines
28s
Improve formatting by using golines PR Labelling #195: Pull request #69 synchronize by jrosain
12s
12s
Improve formatting by using golines Full CI #257: Pull request #69 labeled by jrosain
1s jrosain:use-golines
jrosain:use-golines
1s
Improve formatting by using golines Full CI Remove Labels #49: Pull request #69 labeled by jrosain
1s
1s
Improve formatting by using golines Lint #1: Pull request #69 opened by jrosain
28s jrosain:use-golines
jrosain:use-golines
28s
Improve formatting by using golines Build #229: Pull request #69 opened by jrosain
32s jrosain:use-golines
jrosain:use-golines
32s
Improve formatting by using golines PR Labelling #194: Pull request #69 opened by jrosain
9s
9s
Add IProof interface with a tree structure and add relevant adapter for []Search.ProofStruct Build #228: Pull request #64 synchronize by jrosain
30s jrosain:add-proof-adapter
jrosain:add-proof-adapter
30s
Add IProof interface with a tree structure and add relevant adapter for []Search.ProofStruct PR Labelling #193: Pull request #64 synchronize by jrosain
9s
9s
Fix lambdapi output by updating it with the new printer system Build #227: Pull request #67 synchronize by jrosain
34s jrosain:fix-lp-output
jrosain:fix-lp-output
34s
Fix lambdapi output by updating it with the new printer system PR Labelling #192: Pull request #67 synchronize by jrosain
13s
13s
Fix syntax error on Rocq output by using a better printing system Build #226: Pull request #59 synchronize by jrosain
37s jrosain:fix-rocq-output
jrosain:fix-rocq-output
37s
Fix syntax error on Rocq output by using a better printing system PR Labelling #191: Pull request #59 synchronize by jrosain
13s
13s
Major overhaul of the type system to manage typed proof search with an easier-to-maintain and less invasive API Full CI Remove Labels #48: Pull request #53 labeled by jrosain
6s
6s
Major overhaul of the type system to manage typed proof search with an easier-to-maintain and less invasive API Full CI #256: Pull request #53 labeled by jrosain
2h 6m 57s jrosain:update-type-system
jrosain:update-type-system
2h 6m 57s
Major overhaul of the type system to manage typed proof search with an easier-to-maintain and less invasive API Build #225: Pull request #53 synchronize by jrosain
32s jrosain:update-type-system
jrosain:update-type-system
32s