Skip to content

Actions: GoelandProver/Goeland

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,070 workflow runs
1,070 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: remove invasive index in formulas and terms PR Labelling #236: Pull request #71 synchronize by jrosain
10s
10s
feat: De-Bruijn Style Nameless Bound Variables Full CI Remove Labels #103: Pull request #79 labeled by jrosain
1s
1s
feat: De-Bruijn Style Nameless Bound Variables Full CI Remove Labels #102: Pull request #79 labeled by jrosain
9s
9s
feat: De-Bruijn Style Nameless Bound Variables Full CI Remove Labels #101: Pull request #79 labeled by jrosain
1s
1s
feat: De-Bruijn Style Nameless Bound Variables Full CI Remove Labels #100: Pull request #79 labeled by jrosain
1s
1s
feat: De-Bruijn Style Nameless Bound Variables Full CI Remove Labels #99: Pull request #79 labeled by jrosain
1s
1s
feat: De-Bruijn Style Nameless Bound Variables PR Labelling #235: Pull request #79 opened by jrosain
11s
11s
Allow unification between terms Build #278: Pull request #78 opened by jrosain
31s jrosain:unify-terms
jrosain:unify-terms
31s
Allow unification between terms Full CI Remove Labels #98: Pull request #78 labeled by jrosain
9s
9s
Allow unification between terms Full CI #291: Pull request #78 labeled by jrosain
1m 50s jrosain:unify-terms
jrosain:unify-terms
1m 50s
Allow unification between terms Full CI Remove Labels #97: Pull request #78 labeled by jrosain
1s
1s
Allow unification between terms Full CI #290: Pull request #78 labeled by jrosain
1s jrosain:unify-terms
jrosain:unify-terms
1s
Allow unification between terms Full CI Remove Labels #96: Pull request #78 labeled by jrosain
1s
1s
Allow unification between terms Full CI #289: Pull request #78 labeled by jrosain
1s jrosain:unify-terms
jrosain:unify-terms
1s
Allow unification between terms Full CI #288: Pull request #78 labeled by jrosain
1s jrosain:unify-terms
jrosain:unify-terms
1s
Allow unification between terms Full CI Remove Labels #95: Pull request #78 labeled by jrosain
1s
1s
Allow unification between terms PR Labelling #234: Pull request #78 opened by jrosain
13s
13s
Fix lambdapi output by updating it with the new printer system Full CI #287: Pull request #67 labeled by jrosain
2h 6m 59s jrosain:fix-lp-output
jrosain:fix-lp-output
2h 6m 59s
Fix lambdapi output by updating it with the new printer system Full CI Remove Labels #94: Pull request #67 labeled by jrosain
9s
9s
Fix lambdapi output by updating it with the new printer system Build #277: Pull request #67 synchronize by jrosain
36s jrosain:fix-lp-output
jrosain:fix-lp-output
36s
Fix lambdapi output by updating it with the new printer system PR Labelling #233: Pull request #67 synchronize by jrosain
9s
9s
Build Build #276: by jcailler
34s master
master
34s
Fix syntax error on Rocq output by using a better printing system Full CI #286: Pull request #59 labeled by jrosain
2h 7m 5s jrosain:fix-rocq-output
jrosain:fix-rocq-output
2h 7m 5s
Fix syntax error on Rocq output by using a better printing system Full CI Remove Labels #93: Pull request #59 labeled by jrosain
9s
9s
Fix syntax error on Rocq output by using a better printing system Build #275: Pull request #59 synchronize by jrosain
33s jrosain:fix-rocq-output
jrosain:fix-rocq-output
33s