Skip to content

Actions: erp12/cbgp-lite

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Repo cleanup. Adds function. Poly-type problems.
CI #231: Commit f353ae5 pushed by erp12
May 1, 2024 15:22 2m 39s master
May 1, 2024 15:22 2m 39s
Composite types suite & functions from PSB2 paper
CI #230: Pull request #33 synchronize by erp12
May 1, 2024 15:11 2m 40s composite_types_suite
May 1, 2024 15:11 2m 40s
Composite types suite & functions from PSB2 paper
CI #228: Pull request #33 synchronize by erp12
April 17, 2024 15:46 2m 42s composite_types_suite
April 17, 2024 15:46 2m 42s
Finishes off PR
CI #227: Commit 11ea510 pushed by erp12
April 17, 2024 15:46 2m 46s composite_types_suite
April 17, 2024 15:46 2m 46s
Composite types suite & functions from PSB2 paper
CI #226: Pull request #33 synchronize by erp12
December 2, 2023 21:54 29s composite_types_suite
December 2, 2023 21:54 29s
Improves type tuning
CI #225: Commit 95daf3b pushed by erp12
December 2, 2023 21:54 38s composite_types_suite
December 2, 2023 21:54 38s
October 28, 2023 03:01 47s
Composite types suite & functions from PSB2 paper
CI #223: Pull request #33 opened by erp12
October 22, 2023 02:18 39s composite_types_suite
October 22, 2023 02:18 39s