Skip to content

Actions: LPCIC/elpi

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Indexing via discrimination tree Main workflow #591: Pull request #205 synchronize by gares
November 21, 2023 16:23 12m 58s FissoreD:discr-tree
FissoreD:discr-tree
November 21, 2023 16:23 12m 58s
Indexing via discrimination tree Main workflow #590: Pull request #205 synchronize by gares
November 21, 2023 15:41 18m 54s FissoreD:discr-tree
FissoreD:discr-tree
November 21, 2023 15:41 18m 54s
Indexing via discrimination tree Doc workflow #167: Pull request #205 synchronize by gares
November 21, 2023 15:41 5m 5s FissoreD:discr-tree
FissoreD:discr-tree
November 21, 2023 15:41 5m 5s
Indexing via discrimination tree Doc workflow #166: Pull request #205 synchronize by gares
November 21, 2023 14:07 6m 35s FissoreD:discr-tree
FissoreD:discr-tree
November 21, 2023 14:07 6m 35s
Indexing via discrimination tree Main workflow #589: Pull request #205 synchronize by gares
November 21, 2023 14:07 15m 18s FissoreD:discr-tree
FissoreD:discr-tree
November 21, 2023 14:07 15m 18s
Indexing via discrimination tree Main workflow #587: Pull request #205 synchronize by FissoreD
November 20, 2023 17:35 17m 1s FissoreD:discr-tree
FissoreD:discr-tree
November 20, 2023 17:35 17m 1s
Indexing via discrimination tree Doc workflow #164: Pull request #205 synchronize by FissoreD
November 20, 2023 17:35 6m 59s FissoreD:discr-tree
FissoreD:discr-tree
November 20, 2023 17:35 6m 59s
pages build and deployment pages-build-deployment #72: by github-pages bot
November 20, 2023 17:13 36s gh-pages
gh-pages
November 20, 2023 17:13 36s
Merge pull request #206 from LPCIC/state_init Main workflow #585: Commit c18e9d1 pushed by gares
November 20, 2023 17:04 33m 7s master
master
November 20, 2023 17:04 33m 7s
Merge pull request #206 from LPCIC/state_init Doc workflow #162: Commit c18e9d1 pushed by gares
November 20, 2023 17:04 11m 50s master
master
November 20, 2023 17:04 11m 50s
API: state updater Main workflow #583: Pull request #206 synchronize by gares
November 20, 2023 16:50 20m 56s state_init
state_init
November 20, 2023 16:50 20m 56s
API: state updater Doc workflow #160: Pull request #206 synchronize by gares
November 20, 2023 16:50 7m 52s state_init
state_init
November 20, 2023 16:50 7m 52s
API: state updater Doc workflow #159: Pull request #206 opened by gares
November 20, 2023 16:32 12m 0s state_init
state_init
November 20, 2023 16:32 12m 0s
API: state updater Main workflow #582: Pull request #206 opened by gares
November 20, 2023 16:32 26m 49s state_init
state_init
November 20, 2023 16:32 26m 49s
Indexing via discrimination tree Doc workflow #158: Pull request #205 synchronize by FissoreD
November 18, 2023 15:08 6m 21s FissoreD:discr-tree
FissoreD:discr-tree
November 18, 2023 15:08 6m 21s
Indexing via discrimination tree Main workflow #581: Pull request #205 synchronize by FissoreD
November 18, 2023 15:08 14m 22s FissoreD:discr-tree
FissoreD:discr-tree
November 18, 2023 15:08 14m 22s
Indexing via discrimination tree Main workflow #576: Pull request #205 synchronize by FissoreD
November 16, 2023 22:16 25m 38s FissoreD:discr-tree
FissoreD:discr-tree
November 16, 2023 22:16 25m 38s
Indexing via discrimination tree Doc workflow #153: Pull request #205 synchronize by FissoreD
November 16, 2023 22:16 6m 35s FissoreD:discr-tree
FissoreD:discr-tree
November 16, 2023 22:16 6m 35s
Indexing via discrimination tree Doc workflow #152: Pull request #205 synchronize by FissoreD
November 16, 2023 17:39 11m 17s FissoreD:discr-tree
FissoreD:discr-tree
November 16, 2023 17:39 11m 17s
Indexing via discrimination tree Main workflow #575: Pull request #205 synchronize by FissoreD
November 16, 2023 17:39 25m 32s FissoreD:discr-tree
FissoreD:discr-tree
November 16, 2023 17:39 25m 32s
pages build and deployment pages-build-deployment #71: by github-pages bot
November 7, 2023 10:43 35s gh-pages
gh-pages
November 7, 2023 10:43 35s
Merge pull request #203 from lukovdm/patch-1 Doc workflow #149: Commit ce533c5 pushed by gares
November 7, 2023 10:28 18m 1s master
master
November 7, 2023 10:28 18m 1s
Merge pull request #203 from lukovdm/patch-1 Main workflow #572: Commit ce533c5 pushed by gares
November 7, 2023 10:28 25m 42s master
master
November 7, 2023 10:28 25m 42s
Add foldr to the elpi builtins Main workflow #571: Pull request #203 synchronize by gares
November 7, 2023 10:27 25m 46s lukovdm:patch-1
lukovdm:patch-1
November 7, 2023 10:27 25m 46s
Add foldr to the elpi builtins Doc workflow #148: Pull request #203 synchronize by gares
November 7, 2023 10:27 10m 15s lukovdm:patch-1
lukovdm:patch-1
November 7, 2023 10:27 10m 15s
ProTip! You can narrow down the results and go further in time using created:<2023-11-07 or the other filters available.