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

[typeabbrev] typeabbrev can be "recursif" (see description) Main workflow #814: Commit b933fab pushed by FissoreD
September 30, 2024 12:19 17m 37s master
master
September 30, 2024 12:19 17m 37s
[typeabbrev] type dl (dl A) where dl is typeabbrev is no more "looping" Main workflow #813: Pull request #266 opened by FissoreD
September 29, 2024 22:14 18m 6s FissoreD:typeabbrev_unfold
FissoreD:typeabbrev_unfold
September 29, 2024 22:14 18m 6s
Update CHANGES.md Main workflow #812: Commit eb195c6 pushed by gares
September 19, 2024 13:43 9m 16s master
master
September 19, 2024 13:43 9m 16s
Merge pull request #265 from LPCIC/merge-new-compiler Main workflow #811: Commit 506fd6f pushed by gares
September 19, 2024 13:12 18m 24s master
master
September 19, 2024 13:12 18m 24s
[compiler] build index at assembly time Main workflow #810: Pull request #265 opened by gares
September 19, 2024 12:59 19m 28s merge-new-compiler
merge-new-compiler
September 19, 2024 12:59 19m 28s
Compile clause early Main workflow #809: Pull request #264 synchronize by gares
September 19, 2024 12:28 9m 14s compile-clause-early
compile-clause-early
September 19, 2024 12:28 9m 14s
Pass mode and functionality to the typechecker Main workflow #808: Pull request #263 synchronize by FissoreD
September 19, 2024 12:10 9m 42s FissoreD:functionality
FissoreD:functionality
September 19, 2024 12:10 9m 42s
Pass mode and functionality to the typechecker Main workflow #807: Pull request #263 synchronize by FissoreD
September 19, 2024 11:29 9m 5s FissoreD:functionality
FissoreD:functionality
September 19, 2024 11:29 9m 5s
Pass mode and functionality to the typechecker Main workflow #806: Pull request #263 synchronize by FissoreD
September 19, 2024 08:19 16m 52s FissoreD:functionality
FissoreD:functionality
September 19, 2024 08:19 16m 52s
Compile clause early Main workflow #805: Pull request #264 synchronize by gares
September 18, 2024 14:42 9m 21s compile-clause-early
compile-clause-early
September 18, 2024 14:42 9m 21s
Compile clause early Main workflow #804: Pull request #264 synchronize by gares
September 18, 2024 14:09 9m 31s compile-clause-early
compile-clause-early
September 18, 2024 14:09 9m 31s
Compile clause early Main workflow #803: Pull request #264 synchronize by gares
September 18, 2024 12:43 9m 19s compile-clause-early
compile-clause-early
September 18, 2024 12:43 9m 19s
Compile clause early Main workflow #802: Pull request #264 synchronize by gares
September 18, 2024 12:41 9m 21s compile-clause-early
compile-clause-early
September 18, 2024 12:41 9m 21s
Compile clause early Main workflow #801: Pull request #264 synchronize by gares
September 18, 2024 11:53 9m 34s compile-clause-early
compile-clause-early
September 18, 2024 11:53 9m 34s
Compile clause early Main workflow #800: Pull request #264 synchronize by gares
September 18, 2024 11:50 9m 45s compile-clause-early
compile-clause-early
September 18, 2024 11:50 9m 45s
Compile clause early Main workflow #799: Pull request #264 synchronize by gares
September 18, 2024 11:48 9m 20s compile-clause-early
compile-clause-early
September 18, 2024 11:48 9m 20s
Compile clause early Main workflow #798: Pull request #264 synchronize by gares
September 18, 2024 11:44 9m 7s compile-clause-early
compile-clause-early
September 18, 2024 11:44 9m 7s
Compile clause early Main workflow #797: Pull request #264 synchronize by gares
September 18, 2024 11:39 9m 36s compile-clause-early
compile-clause-early
September 18, 2024 11:39 9m 36s
Compile clause early Main workflow #796: Pull request #264 synchronize by gares
September 18, 2024 11:10 9m 40s compile-clause-early
compile-clause-early
September 18, 2024 11:10 9m 40s
Compile clause early Main workflow #795: Pull request #264 synchronize by gares
September 18, 2024 08:05 9m 38s compile-clause-early
compile-clause-early
September 18, 2024 08:05 9m 38s
Compile clause early Main workflow #794: Pull request #264 synchronize by gares
September 18, 2024 08:00 9m 39s compile-clause-early
compile-clause-early
September 18, 2024 08:00 9m 39s
Compile clause early Main workflow #793: Pull request #264 synchronize by FissoreD
September 17, 2024 18:46 9m 23s compile-clause-early
compile-clause-early
September 17, 2024 18:46 9m 23s
Compile clause early Main workflow #792: Pull request #264 synchronize by FissoreD
September 17, 2024 18:37 9m 31s compile-clause-early
compile-clause-early
September 17, 2024 18:37 9m 31s
Compile clause early Main workflow #791: Pull request #264 synchronize by FissoreD
September 17, 2024 17:10 6m 33s compile-clause-early
compile-clause-early
September 17, 2024 17:10 6m 33s
Compile clause early Main workflow #790: Pull request #264 synchronize by gares
September 17, 2024 08:47 9m 52s compile-clause-early
compile-clause-early
September 17, 2024 08:47 9m 52s