Skip to content

Actions: LPCIC/elpi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
747 workflow runs
747 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #143: by github-pages bot
September 30, 2024 12:27 40s
September 30, 2024 12:27 40s
[typeabbrev] typeabbrev can be "recursif" (see description) Doc workflow #391: Commit b933fab pushed by FissoreD
September 30, 2024 12:19 7m 46s master
master
September 30, 2024 12:19 7m 46s
[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] typeabbrev can be "recursif" (see description) Users workflow #47: Commit b933fab pushed by FissoreD
September 30, 2024 12:19 6m 13s master
master
September 30, 2024 12:19 6m 13s
[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
[typeabbrev] type dl (dl A) where dl is typeabbrev is no more "looping" Doc workflow #390: Pull request #266 opened by FissoreD
September 29, 2024 22:14 7m 44s FissoreD:typeabbrev_unfold
FissoreD:typeabbrev_unfold
September 29, 2024 22:14 7m 44s
[typeabbrev] type dl (dl A) where dl is typeabbrev is no more "looping" Users workflow #46: Pull request #266 opened by FissoreD
September 29, 2024 22:14 5m 44s FissoreD:typeabbrev_unfold
FissoreD:typeabbrev_unfold
September 29, 2024 22:14 5m 44s
pages build and deployment pages-build-deployment #142: by gares
September 19, 2024 13:47 27s
September 19, 2024 13:47 27s
pages build and deployment pages-build-deployment #141: by gares
September 19, 2024 13:45 28s
September 19, 2024 13:45 28s
Update CHANGES.md Doc workflow #389: Commit eb195c6 pushed by gares
September 19, 2024 13:43 4m 43s master
master
September 19, 2024 13:43 4m 43s
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
Update CHANGES.md Users workflow #45: Commit eb195c6 pushed by gares
September 19, 2024 13:43 16m 45s master
master
September 19, 2024 13:43 16m 45s
pages build and deployment pages-build-deployment #140: by github-pages bot
September 19, 2024 13:19 24s
September 19, 2024 13:19 24s
Merge pull request #265 from LPCIC/merge-new-compiler Users workflow #44: Commit 506fd6f pushed by gares
September 19, 2024 13:12 19m 34s master
master
September 19, 2024 13:12 19m 34s
Merge pull request #265 from LPCIC/merge-new-compiler Doc workflow #388: Commit 506fd6f pushed by gares
September 19, 2024 13:12 7m 21s master
master
September 19, 2024 13:12 7m 21s
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 Users workflow #43: Pull request #265 opened by gares
September 19, 2024 12:59 11m 21s merge-new-compiler
merge-new-compiler
September 19, 2024 12:59 11m 21s
[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
[compiler] build index at assembly time Doc workflow #387: Pull request #265 opened by gares
September 19, 2024 12:59 7m 33s merge-new-compiler
merge-new-compiler
September 19, 2024 12:59 7m 33s
Compile clause early Users workflow #42: Pull request #264 synchronize by gares
September 19, 2024 12:28 16m 48s compile-clause-early
compile-clause-early
September 19, 2024 12:28 16m 48s
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
Compile clause early Doc workflow #386: Pull request #264 synchronize by gares
September 19, 2024 12:28 4m 47s compile-clause-early
compile-clause-early
September 19, 2024 12:28 4m 47s
Pass mode and functionality to the typechecker Users workflow #41: Pull request #263 synchronize by FissoreD
September 19, 2024 12:10 6m 28s FissoreD:functionality
FissoreD:functionality
September 19, 2024 12:10 6m 28s
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 Doc workflow #385: Pull request #263 synchronize by FissoreD
September 19, 2024 12:10 17s FissoreD:functionality
FissoreD:functionality
September 19, 2024 12:10 17s