Skip to content

Actions: LPCIC/elpi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,253 workflow runs
1,253 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #194: by github-pages bot
April 4, 2025 15:12 28s gh-pages
gh-pages
April 4, 2025 15:12 28s
pages build and deployment pages-build-deployment #193: by github-pages bot
April 4, 2025 15:11 27s gh-pages
gh-pages
April 4, 2025 15:11 27s
Merge pull request #321 from FissoreD/clean_add_clause Main workflow #1078: Commit 9de62ed pushed by gares
April 4, 2025 15:08 8m 17s master
master
April 4, 2025 15:08 8m 17s
Merge pull request #321 from FissoreD/clean_add_clause Doc workflow #655: Commit 9de62ed pushed by gares
April 4, 2025 15:08 3m 29s master
master
April 4, 2025 15:08 3m 29s
Merge pull request #321 from FissoreD/clean_add_clause Users workflow #311: Commit 9de62ed pushed by gares
April 4, 2025 15:08 2m 4s master
master
April 4, 2025 15:08 2m 4s
Merge pull request #322 from FissoreD/dt_uvar Main workflow #1077: Commit d2dfe91 pushed by gares
April 4, 2025 15:07 8m 25s master
master
April 4, 2025 15:07 8m 25s
Merge pull request #322 from FissoreD/dt_uvar Doc workflow #654: Commit d2dfe91 pushed by gares
April 4, 2025 15:07 3m 13s master
master
April 4, 2025 15:07 3m 13s
Merge pull request #322 from FissoreD/dt_uvar Users workflow #310: Commit d2dfe91 pushed by gares
April 4, 2025 15:07 2m 8s master
master
April 4, 2025 15:07 2m 8s
[determinacy] big refactor Users workflow #309: Pull request #290 synchronize by FissoreD
April 4, 2025 14:30 3m 42s FissoreD:scoped-term-wip
FissoreD:scoped-term-wip
April 4, 2025 14:30 3m 42s
[determinacy] big refactor Main workflow #1076: Pull request #290 synchronize by FissoreD
April 4, 2025 14:30 8m 56s FissoreD:scoped-term-wip
FissoreD:scoped-term-wip
April 4, 2025 14:30 8m 56s
[determinacy] big refactor Doc workflow #653: Pull request #290 synchronize by FissoreD
April 4, 2025 14:30 3m 8s FissoreD:scoped-term-wip
FissoreD:scoped-term-wip
April 4, 2025 14:30 3m 8s
dt filter out uvar in input mode with rigid arg Doc workflow #652: Pull request #322 opened by FissoreD
April 4, 2025 14:01 3m 4s FissoreD:dt_uvar
FissoreD:dt_uvar
April 4, 2025 14:01 3m 4s
dt filter out uvar in input mode with rigid arg Main workflow #1075: Pull request #322 opened by FissoreD
April 4, 2025 14:01 8m 6s FissoreD:dt_uvar
FissoreD:dt_uvar
April 4, 2025 14:01 8m 6s
dt filter out uvar in input mode with rigid arg Users workflow #308: Pull request #322 opened by FissoreD
April 4, 2025 14:01 2m 6s FissoreD:dt_uvar
FissoreD:dt_uvar
April 4, 2025 14:01 2m 6s
[determinacy] big refactor Users workflow #307: Pull request #290 synchronize by FissoreD
April 4, 2025 12:32 3m 44s FissoreD:scoped-term-wip
FissoreD:scoped-term-wip
April 4, 2025 12:32 3m 44s
[determinacy] big refactor Main workflow #1074: Pull request #290 synchronize by FissoreD
April 4, 2025 12:32 9m 7s FissoreD:scoped-term-wip
FissoreD:scoped-term-wip
April 4, 2025 12:32 9m 7s
[determinacy] big refactor Doc workflow #651: Pull request #290 synchronize by FissoreD
April 4, 2025 12:32 3m 19s FissoreD:scoped-term-wip
FissoreD:scoped-term-wip
April 4, 2025 12:32 3m 19s
flex_arg_clauses -> Bl.empty in add_clause_to_snd_lvl_idx case MustBe… Main workflow #1073: Pull request #321 opened by FissoreD
April 4, 2025 12:05 8m 37s FissoreD:clean_add_clause
FissoreD:clean_add_clause
April 4, 2025 12:05 8m 37s
flex_arg_clauses -> Bl.empty in add_clause_to_snd_lvl_idx case MustBe… Users workflow #306: Pull request #321 opened by FissoreD
April 4, 2025 12:05 2m 52s FissoreD:clean_add_clause
FissoreD:clean_add_clause
April 4, 2025 12:05 2m 52s
flex_arg_clauses -> Bl.empty in add_clause_to_snd_lvl_idx case MustBe… Doc workflow #650: Pull request #321 opened by FissoreD
April 4, 2025 12:05 4m 13s FissoreD:clean_add_clause
FissoreD:clean_add_clause
April 4, 2025 12:05 4m 13s
[determinacy] big refactor Main workflow #1072: Pull request #290 synchronize by FissoreD
April 2, 2025 13:09 10m 19s FissoreD:scoped-term-wip
FissoreD:scoped-term-wip
April 2, 2025 13:09 10m 19s
[determinacy] big refactor Users workflow #305: Pull request #290 synchronize by FissoreD
April 2, 2025 13:09 12s FissoreD:scoped-term-wip
FissoreD:scoped-term-wip
April 2, 2025 13:09 12s
[determinacy] big refactor Doc workflow #649: Pull request #290 synchronize by FissoreD
April 2, 2025 13:09 16s FissoreD:scoped-term-wip
FissoreD:scoped-term-wip
April 2, 2025 13:09 16s
[determinacy] big refactor Doc workflow #648: Pull request #290 synchronize by gares
March 31, 2025 21:17 3m 11s FissoreD:scoped-term-wip
FissoreD:scoped-term-wip
March 31, 2025 21:17 3m 11s
[determinacy] big refactor Main workflow #1071: Pull request #290 synchronize by gares
March 31, 2025 21:17 8m 42s FissoreD:scoped-term-wip
FissoreD:scoped-term-wip
March 31, 2025 21:17 8m 42s