Skip to content

Actions: Lamagraph/interaction-nets-in-fpga

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
105 workflow runs
105 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Core rewrite CI #105: Pull request #21 synchronize by KubEF
February 24, 2025 09:02 20m 26s core-rewrite
core-rewrite
February 24, 2025 09:02 20m 26s
A-normal form conversion CI #104: Pull request #36 synchronize by KubEF
January 21, 2025 19:58 5m 38s anf
anf
January 21, 2025 19:58 5m 38s
A-normal form conversion CI #103: Pull request #36 synchronize by KubEF
January 21, 2025 16:58 18m 20s anf
anf
January 21, 2025 16:58 18m 20s
A-normal form conversion CI #102: Pull request #36 opened by KubEF
January 21, 2025 16:49 33s anf
anf
January 21, 2025 16:49 33s
Core CI #101: Pull request #35 synchronize by WoWaster
January 19, 2025 09:38 17m 19s core
core
January 19, 2025 09:38 17m 19s
Core CI #100: Pull request #35 synchronize by WoWaster
January 8, 2025 09:14 4m 35s core
core
January 8, 2025 09:14 4m 35s
Core CI #99: Pull request #35 synchronize by WoWaster
January 8, 2025 09:01 5m 33s core
core
January 8, 2025 09:01 5m 33s
Core CI #98: Pull request #35 synchronize by WoWaster
January 8, 2025 08:56 2m 29s core
core
January 8, 2025 08:56 2m 29s
Core CI #97: Pull request #35 synchronize by WoWaster
January 8, 2025 08:53 24s core
core
January 8, 2025 08:53 24s
Core CI #96: Pull request #35 synchronize by WoWaster
January 7, 2025 13:14 23s core
core
January 7, 2025 13:14 23s
Core CI #95: Pull request #35 opened by WoWaster
January 7, 2025 11:55 22s core
core
January 7, 2025 11:55 22s
Typechecker without ADT CI #94: Commit 46daded pushed by WoWaster
January 4, 2025 07:51 20m 4s main
main
January 4, 2025 07:51 20m 4s
Typechecker without ADTs CI #93: Pull request #33 synchronize by WoWaster
January 3, 2025 08:49 18m 55s tc
tc
January 3, 2025 08:49 18m 55s
Typechecker without ADTs CI #92: Pull request #33 synchronize by WoWaster
December 26, 2024 14:25 5m 21s tc
tc
December 26, 2024 14:25 5m 21s
Typechecker without ADTs CI #91: Pull request #33 synchronize by WoWaster
December 23, 2024 13:30 5m 35s tc
tc
December 23, 2024 13:30 5m 35s
Typechecker without ADTs CI #90: Pull request #33 opened by WoWaster
December 23, 2024 11:34 18m 18s tc
tc
December 23, 2024 11:34 18m 18s
Core rewrite CI #89: Pull request #21 synchronize by KubEF
December 9, 2024 14:38 18m 11s core-rewrite
core-rewrite
December 9, 2024 14:38 18m 11s
Core rewrite CI #88: Pull request #21 synchronize by KubEF
December 9, 2024 11:51 16m 9s core-rewrite
core-rewrite
December 9, 2024 11:51 16m 9s
Core rewrite CI #87: Pull request #21 synchronize by KubEF
December 9, 2024 11:07 16m 25s core-rewrite
core-rewrite
December 9, 2024 11:07 16m 25s
Core rewrite CI #86: Pull request #21 synchronize by KubEF
December 9, 2024 09:56 15m 37s core-rewrite
core-rewrite
December 9, 2024 09:56 15m 37s
Core rewrite CI #85: Pull request #21 synchronize by KubEF
November 25, 2024 09:22 17m 12s core-rewrite
core-rewrite
November 25, 2024 09:22 17m 12s
Core rewrite CI #84: Pull request #21 synchronize by KubEF
November 19, 2024 13:44 2m 44s core-rewrite
core-rewrite
November 19, 2024 13:44 2m 44s
Core rewrite CI #83: Pull request #21 synchronize by KubEF
November 19, 2024 09:59 21s core-rewrite
core-rewrite
November 19, 2024 09:59 21s
Core rewrite CI #82: Pull request #21 synchronize by KubEF
November 15, 2024 13:13 5m 5s core-rewrite
core-rewrite
November 15, 2024 13:13 5m 5s
Core rewrite CI #81: Pull request #21 synchronize by KubEF
November 8, 2024 08:08 5m 54s core-rewrite
core-rewrite
November 8, 2024 08:08 5m 54s