Skip to content

Actions: LPCIC/elpi

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

New backend (elpi 2.0) Doc workflow #476: Pull request #269 synchronize by gares
November 14, 2024 10:28 4m 22s scoped-term
scoped-term
November 14, 2024 10:28 4m 22s
New backend (elpi 2.0) Main workflow #899: Pull request #269 synchronize by gares
November 14, 2024 10:28 16m 47s scoped-term
scoped-term
November 14, 2024 10:28 16m 47s
New backend (elpi 2.0) Main workflow #898: Pull request #269 synchronize by gares
November 13, 2024 21:15 10m 10s scoped-term
scoped-term
November 13, 2024 21:15 10m 10s
New backend (elpi 2.0) Doc workflow #475: Pull request #269 synchronize by gares
November 13, 2024 21:15 5m 8s scoped-term
scoped-term
November 13, 2024 21:15 5m 8s
New backend (elpi 2.0) Users workflow #131: Pull request #269 synchronize by gares
November 13, 2024 21:15 6m 7s scoped-term
scoped-term
November 13, 2024 21:15 6m 7s
New backend (elpi 2.0) Doc workflow #474: Pull request #269 synchronize by gares
November 13, 2024 13:54 4m 47s scoped-term
scoped-term
November 13, 2024 13:54 4m 47s
New backend (elpi 2.0) Main workflow #897: Pull request #269 synchronize by gares
November 13, 2024 13:54 8m 30s scoped-term
scoped-term
November 13, 2024 13:54 8m 30s
New backend (elpi 2.0) Users workflow #130: Pull request #269 synchronize by gares
November 13, 2024 13:54 6m 9s scoped-term
scoped-term
November 13, 2024 13:54 6m 9s
New backend (elpi 2.0) Doc workflow #473: Pull request #269 synchronize by gares
November 12, 2024 15:54 7m 8s scoped-term
scoped-term
November 12, 2024 15:54 7m 8s
New backend (elpi 2.0) Users workflow #129: Pull request #269 synchronize by gares
November 12, 2024 15:54 6m 22s scoped-term
scoped-term
November 12, 2024 15:54 6m 22s
New backend (elpi 2.0) Main workflow #896: Pull request #269 synchronize by gares
November 12, 2024 15:54 9m 24s scoped-term
scoped-term
November 12, 2024 15:54 9m 24s
New backend (elpi 2.0) Main workflow #895: Pull request #269 synchronize by gares
November 12, 2024 14:56 9m 20s scoped-term
scoped-term
November 12, 2024 14:56 9m 20s
New backend (elpi 2.0) Users workflow #128: Pull request #269 synchronize by gares
November 12, 2024 14:56 6m 28s scoped-term
scoped-term
November 12, 2024 14:56 6m 28s
New backend (elpi 2.0) Doc workflow #472: Pull request #269 synchronize by gares
November 12, 2024 14:56 4m 53s scoped-term
scoped-term
November 12, 2024 14:56 4m 53s
New backend (elpi 2.0) Doc workflow #471: Pull request #269 synchronize by gares
November 12, 2024 13:47 5m 4s scoped-term
scoped-term
November 12, 2024 13:47 5m 4s
New backend (elpi 2.0) Users workflow #127: Pull request #269 synchronize by gares
November 12, 2024 13:47 2m 28s scoped-term
scoped-term
November 12, 2024 13:47 2m 28s
New backend (elpi 2.0) Main workflow #894: Pull request #269 synchronize by gares
November 12, 2024 13:47 8m 30s scoped-term
scoped-term
November 12, 2024 13:47 8m 30s
New backend (elpi 2.0) Main workflow #893: Pull request #269 synchronize by gares
November 12, 2024 12:49 9m 36s scoped-term
scoped-term
November 12, 2024 12:49 9m 36s
New backend (elpi 2.0) Doc workflow #470: Pull request #269 synchronize by gares
November 12, 2024 12:49 4m 20s scoped-term
scoped-term
November 12, 2024 12:49 4m 20s
New backend (elpi 2.0) Users workflow #126: Pull request #269 synchronize by gares
November 12, 2024 12:49 2m 51s scoped-term
scoped-term
November 12, 2024 12:49 2m 51s
pages build and deployment pages-build-deployment #150: by github-pages bot
November 9, 2024 14:03 25s
November 9, 2024 14:03 25s
Merge pull request #270 from FissoreD/flatten_ast_of_commas Users workflow #125: Commit 72da262 pushed by gares
November 9, 2024 13:59 16m 34s master
master
November 9, 2024 13:59 16m 34s
Merge pull request #270 from FissoreD/flatten_ast_of_commas Main workflow #892: Commit 72da262 pushed by gares
November 9, 2024 13:59 9m 36s master
master
November 9, 2024 13:59 9m 36s
Merge pull request #270 from FissoreD/flatten_ast_of_commas Doc workflow #469: Commit 72da262 pushed by gares
November 9, 2024 13:59 4m 33s master
master
November 9, 2024 13:59 4m 33s
pages build and deployment pages-build-deployment #149: by github-pages bot
November 5, 2024 21:08 31s
November 5, 2024 21:08 31s