Skip to content

Actions: Lamagraph/interaction-nets-in-fpga

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
132 workflow runs
132 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #970015586 Dependabot Updates #27: by dependabot bot
February 24, 2025 22:24 41s main
main
February 24, 2025 22:24 41s
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
github_actions in /. - Update #966220794 Dependabot Updates #26: by dependabot bot
February 17, 2025 21:11 34s main
main
February 17, 2025 21:11 34s
github_actions in /. - Update #961920460 Dependabot Updates #25: by dependabot bot
February 10, 2025 21:40 36s main
main
February 10, 2025 21:40 36s
github_actions in /. - Update #958410645 Dependabot Updates #24: by dependabot bot
February 3, 2025 21:17 33s main
main
February 3, 2025 21:17 33s
github_actions in /. - Update #954509433 Dependabot Updates #23: by dependabot bot
January 27, 2025 21:17 35s main
main
January 27, 2025 21:17 35s
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
github_actions in /. - Update #950890458 Dependabot Updates #22: by dependabot bot
January 20, 2025 21:29 34s main
main
January 20, 2025 21:29 34s
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
github_actions in /. - Update #947410218 Dependabot Updates #21: by dependabot bot
January 13, 2025 21:32 34s main
main
January 13, 2025 21:32 34s
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
github_actions in /. - Update #943977588 Dependabot Updates #20: by dependabot bot
January 6, 2025 21:38 32s main
main
January 6, 2025 21:38 32s
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
github_actions in /. - Update #940387363 Dependabot Updates #19: by dependabot bot
December 30, 2024 21:32 38s main
main
December 30, 2024 21:32 38s
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
github_actions in /. - Update #937394519 Dependabot Updates #18: by dependabot bot
December 23, 2024 21:58 38s main
main
December 23, 2024 21:58 38s
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