Skip to content

Actions: LPCIC/elpi

Actions

Users workflow

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
users.yml
269 workflow runs
269 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #315 from LPCIC/gares-patch-1 Users workflow #269: Commit 2eb41c3 pushed by gares
February 11, 2025 21:29 16m 27s master
master
February 11, 2025 21:29 16m 27s
ci: bump ocaml latest Users workflow #268: Pull request #315 opened by gares
February 11, 2025 08:47 17m 51s gares-patch-1
gares-patch-1
February 11, 2025 08:47 17m 51s
Merge pull request #314 from LPCIC/fix-chr-removal Users workflow #267: Commit 40794fc pushed by gares
February 10, 2025 09:39 16m 40s master
master
February 10, 2025 09:39 16m 40s
trace: be resilient to negative chars Users workflow #266: Pull request #314 opened by gares
February 10, 2025 09:18 18m 6s fix-chr-removal
fix-chr-removal
February 10, 2025 09:18 18m 6s
Merge pull request #313 from LPCIC/fix-5.3.0 Users workflow #265: Commit 1277858 pushed by gares
February 10, 2025 09:07 19m 49s master
master
February 10, 2025 09:07 19m 49s
fix compilation on 5.3 Users workflow #264: Pull request #313 synchronize by gares
February 10, 2025 08:42 17m 22s fix-5.3.0
fix-5.3.0
February 10, 2025 08:42 17m 22s
fix compilation on 5.3 Users workflow #263: Pull request #313 opened by gares
February 10, 2025 08:31 20m 33s fix-5.3.0
fix-5.3.0
February 10, 2025 08:31 20m 33s
test ocaml 5.3 Users workflow #262: Pull request #312 opened by gares
February 2, 2025 17:54 6m 5s test-5.3
test-5.3
February 2, 2025 17:54 6m 5s
Merge pull request #310 from LPCIC/fix-spilling-var Users workflow #261: Commit bca6210 pushed by gares
January 22, 2025 03:16 19m 3s master
master
January 22, 2025 03:16 19m 3s
fix var spilling (fix #309) Users workflow #260: Pull request #310 opened by gares
January 22, 2025 02:56 19m 19s fix-spilling-var
fix-spilling-var
January 22, 2025 02:56 19m 19s
Merge pull request #308 from LPCIC/ifdef Users workflow #259: Commit 1992fb3 pushed by gares
January 13, 2025 13:52 16m 21s master
master
January 13, 2025 13:52 16m 21s
Merge pull request #306 from LPCIC/x-maint Users workflow #258: Commit 78f64c5 pushed by gares
January 13, 2025 13:41 19m 42s master
master
January 13, 2025 13:41 19m 42s
elpi:if version <component> ... Users workflow #257: Pull request #308 synchronize by gares
January 13, 2025 13:34 16m 22s ifdef
ifdef
January 13, 2025 13:34 16m 22s
elpi:if version <component> ... Users workflow #256: Pull request #308 opened by gares
January 13, 2025 12:11 19m 44s ifdef
ifdef
January 13, 2025 12:11 19m 44s
Update elpi.opam Users workflow #255: Pull request #306 opened by gares
January 7, 2025 19:47 16m 21s x-maint
x-maint
January 7, 2025 19:47 16m 21s
Merge pull request #304 from FissoreD/abs_with_types Users workflow #254: Commit 8f747f8 pushed by gares
January 6, 2025 12:50 19m 58s master
master
January 6, 2025 12:50 19m 58s
[parser] allow to type binders in lambda abstractions + tests Users workflow #253: Pull request #304 synchronize by gares
January 6, 2025 12:10 16m 15s FissoreD:abs_with_types
FissoreD:abs_with_types
January 6, 2025 12:10 16m 15s
[parser] allow to type binders in lambda abstractions + tests Users workflow #252: Pull request #304 synchronize by gares
January 6, 2025 10:46 16m 23s FissoreD:abs_with_types
FissoreD:abs_with_types
January 6, 2025 10:46 16m 23s
[parser] allow to type binders in lambda abstractions + tests Users workflow #251: Pull request #304 synchronize by FissoreD
January 3, 2025 20:34 16m 30s FissoreD:abs_with_types
FissoreD:abs_with_types
January 3, 2025 20:34 16m 30s
[parser] allow to type binders in lambda abstractions + tests Users workflow #250: Pull request #304 opened by FissoreD
January 1, 2025 22:42 19m 44s FissoreD:abs_with_types
FissoreD:abs_with_types
January 1, 2025 22:42 19m 44s
[determinacy] big refactor Users workflow #249: Pull request #290 synchronize by gares
December 19, 2024 12:10 6m 32s FissoreD:scoped-term-wip
FissoreD:scoped-term-wip
December 19, 2024 12:10 6m 32s
[determinacy] big refactor Users workflow #248: Pull request #290 synchronize by FissoreD
December 19, 2024 09:30 6m 12s FissoreD:scoped-term-wip
FissoreD:scoped-term-wip
December 19, 2024 09:30 6m 12s
[determinacy] big refactor Users workflow #247: Pull request #290 synchronize by FissoreD
December 19, 2024 09:28 6m 37s FissoreD:scoped-term-wip
FissoreD:scoped-term-wip
December 19, 2024 09:28 6m 37s
[determinacy] big refactor Users workflow #246: Pull request #290 synchronize by FissoreD
December 19, 2024 09:25 6m 15s FissoreD:scoped-term-wip
FissoreD:scoped-term-wip
December 19, 2024 09:25 6m 15s
[determinacy] big refactor Users workflow #245: Pull request #290 synchronize by FissoreD
December 18, 2024 09:31 6m 42s FissoreD:scoped-term-wip
FissoreD:scoped-term-wip
December 18, 2024 09:31 6m 42s