Skip to content

Actions: Lamagraph/interaction-nets-in-fpga

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

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
github_actions in /. - Update #933808776
Dependabot Updates #17: by dependabot bot
December 16, 2024 21:55 42s main
December 16, 2024 21:55 42s
github_actions in /. - Update #930028009
Dependabot Updates #16: by dependabot bot
December 9, 2024 21:24 35s main
December 9, 2024 21:24 35s
Core rewrite
CI #89: Pull request #21 synchronize by KubEF
December 9, 2024 14:38 18m 11s 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
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
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
December 9, 2024 09:56 15m 37s
github_actions in /. - Update #926341848
Dependabot Updates #15: by dependabot bot
December 2, 2024 22:37 51s main
December 2, 2024 22:37 51s
github_actions in /. - Update #922510837
Dependabot Updates #14: by dependabot bot
November 25, 2024 21:45 35s main
November 25, 2024 21:45 35s
Core rewrite
CI #85: Pull request #21 synchronize by KubEF
November 25, 2024 09:22 17m 12s 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
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
November 19, 2024 09:59 21s
github_actions in /. - Update #918837990
Dependabot Updates #13: by dependabot bot
November 18, 2024 22:39 37s main
November 18, 2024 22:39 37s
Core rewrite
CI #82: Pull request #21 synchronize by KubEF
November 15, 2024 13:13 5m 5s core-rewrite
November 15, 2024 13:13 5m 5s
github_actions in /. - Update #915215407
Dependabot Updates #12: by dependabot bot
November 11, 2024 21:20 34s main
November 11, 2024 21:20 34s
Core rewrite
CI #81: Pull request #21 synchronize by KubEF
November 8, 2024 08:08 5m 54s core-rewrite
November 8, 2024 08:08 5m 54s
Core rewrite
CI #80: Pull request #21 synchronize by KubEF
November 7, 2024 15:16 5m 14s core-rewrite
November 7, 2024 15:16 5m 14s
github_actions in /. - Update #911721051
Dependabot Updates #11: by dependabot bot
November 4, 2024 21:30 36s main
November 4, 2024 21:30 36s
Add 'LmlBindGroup' type
CI #79: Commit 92f219e pushed by WoWaster
November 2, 2024 12:03 5m 0s main
November 2, 2024 12:03 5m 0s
Move Golden tests & add new AST node
CI #78: Pull request #31 opened by WoWaster
November 1, 2024 09:25 4m 57s golden-move-&-new-ast-node
November 1, 2024 09:25 4m 57s
Bump haskell-actions/run-fourmolu from 10 to 11 (#30)
CI #77: Commit 3882d04 pushed by dependabot bot
October 29, 2024 16:40 6m 4s main
October 29, 2024 16:40 6m 4s
github_actions in /. for haskell-actions/run-fourmolu - Update #908585675
Dependabot Updates #10: by dependabot bot
October 29, 2024 16:38 37s main
October 29, 2024 16:38 37s
github_actions in /. - Update #908042003
Dependabot Updates #9: by dependabot bot
October 28, 2024 21:40 45s main
October 28, 2024 21:40 45s