Skip to content

Actions: Lamagraph/interaction-nets-in-fpga

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
228 workflow runs
228 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #958410645 Dependabot Updates #24: by dependabot bot
33s main
main
33s
github_actions in /. - Update #954509433 Dependabot Updates #23: by dependabot bot
35s main
main
35s
A-normal form conversion CI #104: Pull request #36 synchronize by KubEF
5m 38s anf
anf
5m 38s
A-normal form conversion CI #103: Pull request #36 synchronize by KubEF
18m 20s anf
anf
18m 20s
A-normal form conversion CI #102: Pull request #36 opened by KubEF
33s anf
anf
33s
github_actions in /. - Update #950890458 Dependabot Updates #22: by dependabot bot
34s main
main
34s
Core CI #101: Pull request #35 synchronize by WoWaster
17m 19s core
core
17m 19s
github_actions in /. - Update #947410218 Dependabot Updates #21: by dependabot bot
34s main
main
34s
Core CI #100: Pull request #35 synchronize by WoWaster
4m 35s core
core
4m 35s
Core CI #99: Pull request #35 synchronize by WoWaster
5m 33s core
core
5m 33s
Core CI #98: Pull request #35 synchronize by WoWaster
2m 29s core
core
2m 29s
Core CI #97: Pull request #35 synchronize by WoWaster
24s core
core
24s
Core CI #96: Pull request #35 synchronize by WoWaster
23s core
core
23s
Core CI #95: Pull request #35 opened by WoWaster
22s core
core
22s
github_actions in /. - Update #943977588 Dependabot Updates #20: by dependabot bot
32s main
main
32s
Typechecker without ADT CI #94: Commit 46daded pushed by WoWaster
20m 4s main
main
20m 4s
Typechecker without ADTs CI #93: Pull request #33 synchronize by WoWaster
18m 55s tc
tc
18m 55s
github_actions in /. - Update #940387363 Dependabot Updates #19: by dependabot bot
38s main
main
38s
Typechecker without ADTs CI #92: Pull request #33 synchronize by WoWaster
5m 21s tc
tc
5m 21s
github_actions in /. - Update #937394519 Dependabot Updates #18: by dependabot bot
38s main
main
38s
Typechecker without ADTs CI #91: Pull request #33 synchronize by WoWaster
5m 35s tc
tc
5m 35s
Typechecker without ADTs CI #90: Pull request #33 opened by WoWaster
18m 18s tc
tc
18m 18s
github_actions in /. - Update #933808776 Dependabot Updates #17: by dependabot bot
42s main
main
42s
github_actions in /. - Update #930028009 Dependabot Updates #16: by dependabot bot
35s main
main
35s
Core rewrite CI #89: Pull request #21 synchronize by KubEF
18m 11s core-rewrite
core-rewrite
18m 11s