Skip to content

Actions: lambdaclass/concrete

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
361 workflow runs
361 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

First version of a functional linear checker
CI #366: Pull request #138 opened by kenarab
May 20, 2024 20:28 Action required kenarab:linear-checker
May 20, 2024 20:28 Action required
Linear checker stub
CI #364: Pull request #136 synchronize by kenarab
May 10, 2024 22:49 5m 27s kenarab:linear-checker
May 10, 2024 22:49 5m 27s
Module Constants
CI #359: Pull request #127 synchronize by JulianGCalderon
May 10, 2024 14:36 4m 43s module-constants
May 10, 2024 14:36 4m 43s
Module Constants
CI #358: Pull request #127 synchronize by JulianGCalderon
May 10, 2024 14:29 5m 32s module-constants
May 10, 2024 14:29 5m 32s
Merge pull request #131 from lambdaclass/array_cast
CI #357: Commit bc72356 pushed by github-merge-queue bot
May 10, 2024 14:23 4m 41s main
May 10, 2024 14:23 4m 41s
CI
CI #356: Merge group checks requested
May 10, 2024 14:18 4m 24s
May 10, 2024 14:18 4m 24s
Add array cast to pointer
CI #355: Pull request #131 synchronize by edg-l
May 10, 2024 14:10 5m 7s array_cast
May 10, 2024 14:10 5m 7s
May 10, 2024 14:09 4m 12s
CI
CI #353: Merge group checks requested
May 10, 2024 14:04 4m 52s
May 10, 2024 14:04 4m 52s
Add array cast to pointer
CI #352: Pull request #131 synchronize by edg-l
May 10, 2024 13:43 5m 10s array_cast
May 10, 2024 13:43 5m 10s
initial progress for multiple packages
CI #351: Pull request #123 synchronize by edg-l
May 10, 2024 13:07 5m 49s multiple_packages
May 10, 2024 13:07 5m 49s
initial progress for multiple packages
CI #350: Pull request #123 synchronize by edg-l
May 10, 2024 13:04 6m 28s multiple_packages
May 10, 2024 13:04 6m 28s
initial progress for multiple packages
CI #349: Pull request #123 synchronize by edg-l
May 10, 2024 10:59 4m 56s multiple_packages
May 10, 2024 10:59 4m 56s
May 10, 2024 10:55 5m 8s
add function call type checks
CI #347: Pull request #122 synchronize by edg-l
May 10, 2024 10:48 4m 56s add_fncall_checks
May 10, 2024 10:48 4m 56s
Merge pull request #133 from lambdaclass/fix-examples
CI #346: Commit dc95fdd pushed by github-merge-queue bot
May 10, 2024 10:48 4m 36s main
May 10, 2024 10:48 4m 36s
Module Constants
CI #345: Pull request #127 synchronize by JulianGCalderon
May 9, 2024 19:59 6m 4s module-constants
May 9, 2024 19:59 6m 4s
Fix test examples
CI #344: Pull request #133 opened by JulianGCalderon
May 9, 2024 19:56 5m 3s fix-examples
May 9, 2024 19:56 5m 3s
Module Constants
CI #343: Pull request #127 synchronize by JulianGCalderon
May 9, 2024 19:21 5m 0s module-constants
May 9, 2024 19:21 5m 0s
May 9, 2024 16:42 4m 9s
Merge pull request #125 from lambdaclass/ptr_add
CI #341: Commit 20cfd8d pushed by github-merge-queue bot
May 9, 2024 16:41 7m 22s main
May 9, 2024 16:41 7m 22s
Merge pull request #132 from lambdaclass/macos-ci
CI #340: Commit 623ad0d pushed by github-merge-queue bot
May 9, 2024 16:40 4m 45s main
May 9, 2024 16:40 4m 45s
Module Constants
CI #339: Pull request #127 synchronize by JulianGCalderon
May 9, 2024 16:40 3m 13s module-constants
May 9, 2024 16:40 3m 13s
Module Constants
CI #338: Pull request #127 synchronize by JulianGCalderon
May 9, 2024 16:29 4m 50s module-constants
May 9, 2024 16:29 4m 50s
Module Constants
CI #337: Pull request #127 synchronize by JulianGCalderon
May 9, 2024 15:20 2m 18s module-constants
May 9, 2024 15:20 2m 18s