Skip to content

Actions: LPCIC/elpi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
740 workflow runs
740 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Pass mode and functionality to the typechecker Users workflow #40: Pull request #263 synchronize by FissoreD
September 19, 2024 11:29 6m 29s FissoreD:functionality
FissoreD:functionality
September 19, 2024 11:29 6m 29s
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 Doc workflow #384: Pull request #263 synchronize by FissoreD
September 19, 2024 11:29 14s FissoreD:functionality
FissoreD:functionality
September 19, 2024 11:29 14s
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
Pass mode and functionality to the typechecker Doc workflow #383: Pull request #263 synchronize by FissoreD
September 19, 2024 08:19 12s FissoreD:functionality
FissoreD:functionality
September 19, 2024 08:19 12s
Pass mode and functionality to the typechecker Users workflow #39: Pull request #263 synchronize by FissoreD
September 19, 2024 08:19 9m 51s FissoreD:functionality
FissoreD:functionality
September 19, 2024 08:19 9m 51s
Compile clause early Users workflow #38: Pull request #264 synchronize by gares
September 18, 2024 14:42 6m 57s compile-clause-early
compile-clause-early
September 18, 2024 14:42 6m 57s