Skip to content

Actions: LPCIC/elpi

Actions

Main workflow

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
300 workflow runs
300 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

unification of (lam t1) (lam t2) moves t1 and t2 at same level + test Main workflow #764: Pull request #257 opened by FissoreD
August 5, 2024 13:57 17m 41s FissoreD:unif-lam-lam
FissoreD:unif-lam-lam
August 5, 2024 13:57 17m 41s
Merge pull request #255 from LPCIC/gares-patch-3 Main workflow #763: Commit d0bbea5 pushed by gares
July 30, 2024 14:36 10m 1s master
master
July 30, 2024 14:36 10m 1s
update actions Main workflow #762: Pull request #255 opened by gares
July 30, 2024 14:26 9m 12s gares-patch-3
gares-patch-3
July 30, 2024 14:26 9m 12s
Merge pull request #254 from LPCIC/gares-patch-4 Main workflow #761: Commit f27441e pushed by gares
July 30, 2024 14:01 18m 10s master
master
July 30, 2024 14:01 18m 10s
Merge pull request #252 from LPCIC/gares-patch-3 Main workflow #760: Commit a3925e9 pushed by gares
July 30, 2024 14:01 2m 58s master
master
July 30, 2024 14:01 2m 58s
bump CI ocaml version Main workflow #759: Pull request #252 synchronize by gares
July 30, 2024 13:51 9m 58s gares-patch-3
gares-patch-3
July 30, 2024 13:51 9m 58s
bump CI ocaml version Main workflow #758: Pull request #252 synchronize by gares
July 30, 2024 13:44 6m 20s gares-patch-3
gares-patch-3
July 30, 2024 13:44 6m 20s
bump CI ocaml version Main workflow #757: Pull request #252 synchronize by gares
July 30, 2024 13:41 2m 7s gares-patch-3
gares-patch-3
July 30, 2024 13:41 2m 7s
bump CI ocaml version Main workflow #756: Pull request #252 synchronize by gares
July 30, 2024 13:36 2m 24s gares-patch-3
gares-patch-3
July 30, 2024 13:36 2m 24s
release Main workflow #755: Pull request #254 opened by gares
July 30, 2024 13:35 10m 35s gares-patch-4
gares-patch-4
July 30, 2024 13:35 10m 35s
Merge pull request #246 from FissoreD/constraint-store-hypotheses Main workflow #754: Commit 4cac107 pushed by gares
July 30, 2024 13:34 9m 59s master
master
July 30, 2024 13:34 9m 59s
bump CI ocaml version Main workflow #753: Pull request #252 synchronize by gares
July 30, 2024 13:30 6m 16s gares-patch-3
gares-patch-3
July 30, 2024 13:30 6m 16s
CHR: constraints allow hyps, not considered in the clique error check Main workflow #752: Pull request #246 synchronize by gares
July 30, 2024 13:28 9m 29s FissoreD:constraint-store-hypotheses
FissoreD:constraint-store-hypotheses
July 30, 2024 13:28 9m 29s
bump CI ocaml version Main workflow #751: Pull request #252 synchronize by gares
July 30, 2024 13:16 6m 48s gares-patch-3
gares-patch-3
July 30, 2024 13:16 6m 48s
CHR: constraints allow hyps, not considered in the clique error check Main workflow #750: Pull request #246 synchronize by FissoreD
July 30, 2024 13:14 10m 9s FissoreD:constraint-store-hypotheses
FissoreD:constraint-store-hypotheses
July 30, 2024 13:14 10m 9s
CHR: constraints allow hyps, not considered in the clique error check Main workflow #749: Pull request #246 synchronize by FissoreD
July 30, 2024 12:59 12m 2s FissoreD:constraint-store-hypotheses
FissoreD:constraint-store-hypotheses
July 30, 2024 12:59 12m 2s
bump CI ocaml version Main workflow #748: Pull request #252 synchronize by gares
July 30, 2024 12:57 12m 37s gares-patch-3
gares-patch-3
July 30, 2024 12:57 12m 37s
bump CI ocaml version Main workflow #747: Pull request #252 synchronize by gares
July 30, 2024 12:54 4m 15s gares-patch-3
gares-patch-3
July 30, 2024 12:54 4m 15s
bump CI ocaml version Main workflow #746: Pull request #252 synchronize by gares
July 30, 2024 12:54 5m 28s gares-patch-3
gares-patch-3
July 30, 2024 12:54 5m 28s
bump CI ocaml version Main workflow #745: Pull request #252 synchronize by gares
July 30, 2024 12:48 9m 32s gares-patch-3
gares-patch-3
July 30, 2024 12:48 9m 32s
bump CI ocaml version Main workflow #744: Pull request #252 synchronize by gares
July 30, 2024 12:30 12m 16s gares-patch-3
gares-patch-3
July 30, 2024 12:30 12m 16s
bump CI ocaml version Main workflow #743: Pull request #252 opened by gares
July 30, 2024 12:21 10m 40s gares-patch-3
gares-patch-3
July 30, 2024 12:21 10m 40s
Merge pull request #249 from ppedrot/even-leaner-symbol-table Main workflow #742: Commit d7e778b pushed by gares
July 30, 2024 12:20 11m 8s master
master
July 30, 2024 12:20 11m 8s
Merge pull request #251 from LPCIC/gares-patch-3 Main workflow #741: Commit 965f44f pushed by gares
July 30, 2024 11:33 9m 50s master
master
July 30, 2024 11:33 9m 50s
Use Set.map in compiler Main workflow #740: Pull request #251 opened by gares
July 30, 2024 11:22 9m 55s gares-patch-3
gares-patch-3
July 30, 2024 11:22 9m 55s