Skip to content

Actions: LPCIC/elpi

Actions

Main workflow

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
449 workflow runs
449 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #207 from LPCIC/fix-deref-assign Main workflow #603: Commit f812830 pushed by gares
November 24, 2023 12:48 16m 48s master
master
November 24, 2023 12:48 16m 48s
Fix deref assign Main workflow #602: Pull request #207 opened by gares
November 24, 2023 10:48 26m 58s fix-deref-assign
fix-deref-assign
November 24, 2023 10:48 26m 58s
Indexing via discrimination tree (#205) Main workflow #601: Commit 4ce8dea pushed by gares
November 23, 2023 23:23 23m 50s master
master
November 23, 2023 23:23 23m 50s
Indexing via discrimination tree Main workflow #600: Pull request #205 synchronize by gares
November 23, 2023 23:10 14m 15s FissoreD:discr-tree
FissoreD:discr-tree
November 23, 2023 23:10 14m 15s
Indexing via discrimination tree Main workflow #599: Pull request #205 synchronize by gares
November 23, 2023 22:59 14m 37s FissoreD:discr-tree
FissoreD:discr-tree
November 23, 2023 22:59 14m 37s
Indexing via discrimination tree Main workflow #598: Pull request #205 synchronize by gares
November 23, 2023 22:51 11m 1s FissoreD:discr-tree
FissoreD:discr-tree
November 23, 2023 22:51 11m 1s
Indexing via discrimination tree Main workflow #597: Pull request #205 synchronize by FissoreD
November 23, 2023 21:29 21m 11s FissoreD:discr-tree
FissoreD:discr-tree
November 23, 2023 21:29 21m 11s
Indexing via discrimination tree Main workflow #595: Pull request #205 synchronize by gares
November 23, 2023 13:51 19m 3s FissoreD:discr-tree
FissoreD:discr-tree
November 23, 2023 13:51 19m 3s
Indexing via discrimination tree Main workflow #594: Pull request #205 synchronize by gares
November 23, 2023 13:35 14m 39s FissoreD:discr-tree
FissoreD:discr-tree
November 23, 2023 13:35 14m 39s
Indexing via discrimination tree Main workflow #593: Pull request #205 synchronize by gares
November 23, 2023 09:28 12m 22s FissoreD:discr-tree
FissoreD:discr-tree
November 23, 2023 09:28 12m 22s
Indexing via discrimination tree Main workflow #592: Pull request #205 synchronize by FissoreD
November 22, 2023 10:35 22m 3s FissoreD:discr-tree
FissoreD:discr-tree
November 22, 2023 10:35 22m 3s
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 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
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
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 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 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 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
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 Main workflow #570: Pull request #203 synchronize by gares
November 6, 2023 16:32 17m 23s lukovdm:patch-1
lukovdm:patch-1
November 6, 2023 16:32 17m 23s
ProTip! You can narrow down the results and go further in time using created:<2023-11-06 or the other filters available.