Skip to content

Actions: LPCIC/elpi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,714 workflow runs
1,714 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #265: by github-pages bot
28s gh-pages
gh-pages
28s
pages build and deployment pages-build-deployment #264: by gares
28s gh-pages
gh-pages
28s
Merge pull request #387 from LPCIC/fix-pm Doc workflow #1002: Commit af8ef2a pushed by gares
3m 23s master
master
3m 23s
Merge pull request #387 from LPCIC/fix-pm Main workflow #1425: Commit af8ef2a pushed by gares
11m 31s master
master
11m 31s
Merge pull request #387 from LPCIC/fix-pm Users workflow #658: Commit af8ef2a pushed by gares
20m 22s master
master
20m 22s
fix pattern_match arguments order Doc workflow #1001: Pull request #387 synchronize by gares
3m 16s fix-pm
fix-pm
3m 16s
fix pattern_match arguments order Users workflow #657: Pull request #387 synchronize by gares
19m 33s fix-pm
fix-pm
19m 33s
fix pattern_match arguments order Main workflow #1424: Pull request #387 synchronize by gares
11m 20s fix-pm
fix-pm
11m 20s
fix pattern_match arguments order Main workflow #1423: Pull request #387 synchronize by gares
11m 47s fix-pm
fix-pm
11m 47s
fix pattern_match arguments order Users workflow #656: Pull request #387 synchronize by gares
20m 3s fix-pm
fix-pm
20m 3s
fix pattern_match arguments order Doc workflow #1000: Pull request #387 synchronize by gares
3m 21s fix-pm
fix-pm
3m 21s
fix pattern_match arguments order Main workflow #1422: Pull request #387 opened by gares
11m 30s fix-pm
fix-pm
11m 30s
fix pattern_match arguments order Users workflow #655: Pull request #387 opened by gares
20m 40s fix-pm
fix-pm
20m 40s
fix pattern_match arguments order Doc workflow #999: Pull request #387 opened by gares
3m 24s fix-pm
fix-pm
3m 24s
pages build and deployment pages-build-deployment #263: by github-pages bot
27s gh-pages
gh-pages
27s
pages build and deployment pages-build-deployment #262: by gares
22s gh-pages
gh-pages
22s
Merge pull request #386 from LPCIC/fix-sigma-opt Main workflow #1421: Commit c44c0ce pushed by gares
22m 51s master
master
22m 51s
Merge pull request #386 from LPCIC/fix-sigma-opt Doc workflow #998: Commit c44c0ce pushed by gares
6m 48s master
master
6m 48s
Merge pull request #386 from LPCIC/fix-sigma-opt Users workflow #654: Commit c44c0ce pushed by gares
22m 51s master
master
22m 51s
fix spilling bug Users workflow #653: Pull request #386 opened by gares
23m 4s fix-sigma-opt
fix-sigma-opt
23m 4s
fix spilling bug Doc workflow #997: Pull request #386 opened by gares
6m 26s fix-sigma-opt
fix-sigma-opt
6m 26s
fix spilling bug Main workflow #1420: Pull request #386 opened by gares
23m 9s fix-sigma-opt
fix-sigma-opt
23m 9s
[experimental] error resilient parser using Mastic Users workflow #652: Pull request #385 opened by gares
4m 19s error-parser
error-parser
4m 19s
[experimental] error resilient parser using Mastic Doc workflow #996: Pull request #385 opened by gares
3m 46s error-parser
error-parser
3m 46s
[experimental] error resilient parser using Mastic Main workflow #1419: Pull request #385 opened by gares
13m 15s error-parser
error-parser
13m 15s