Skip to content

Actions: marco-compiler/marco

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
402 workflow runs
402 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix and improve matching algorithm fast-forward #136: Issue comment #115 (comment) created by mscuttari
February 22, 2025 17:38 14s
February 22, 2025 17:38 14s
Fix and improve matching algorithm Check code formatting #203: Pull request #115 opened by mscuttari
February 22, 2025 17:27 29s mscuttari/dev
mscuttari/dev
February 22, 2025 17:27 29s
Fix and improve matching algorithm Pull Request Labeler #64: Pull request #115 opened by mscuttari
February 22, 2025 17:27 11s
February 22, 2025 17:27 11s
Reduce nondeterminism fast-forward #135: Issue comment #114 (comment) created by mscuttari
February 21, 2025 15:53 15s
February 21, 2025 15:53 15s
Reduce nondeterminism Pull Request Labeler #63: Pull request #114 opened by mscuttari
February 21, 2025 15:38 15s
February 21, 2025 15:38 15s
Reduce nondeterminism Check code formatting #202: Pull request #114 opened by mscuttari
February 21, 2025 15:38 1m 24s mscuttari/dev
mscuttari/dev
February 21, 2025 15:38 1m 24s
Strategized, type-erased graph dumper fast-forward #134: Issue comment #113 (comment) created by mscuttari
February 19, 2025 12:22 14s
February 19, 2025 12:22 14s
Strategized, type-erased graph dumper Check code formatting #201: Pull request #113 synchronize by thaugdahl
February 19, 2025 12:18 32s thaugdahl/graph-dumper
thaugdahl/graph-dumper
February 19, 2025 12:18 32s
Strategized, type-erased graph dumper Pull Request Labeler #62: Pull request #113 synchronize by thaugdahl
February 19, 2025 12:18 15s
February 19, 2025 12:18 15s
Strategized, type-erased graph dumper Check code formatting #200: Pull request #113 synchronize by thaugdahl
February 19, 2025 12:11 36s thaugdahl/graph-dumper
thaugdahl/graph-dumper
February 19, 2025 12:11 36s
Strategized, type-erased graph dumper Pull Request Labeler #61: Pull request #113 synchronize by thaugdahl
February 19, 2025 12:11 14s
February 19, 2025 12:11 14s
Strategized, type-erased graph dumper Check code formatting #199: Pull request #113 synchronize by thaugdahl
February 19, 2025 12:08 32s thaugdahl/graph-dumper
thaugdahl/graph-dumper
February 19, 2025 12:08 32s
Strategized, type-erased graph dumper Pull Request Labeler #60: Pull request #113 synchronize by thaugdahl
February 19, 2025 12:08 17s
February 19, 2025 12:08 17s
Strategized, type-erased graph dumper fast-forward #133: Issue comment #113 (comment) created by thaugdahl
February 19, 2025 10:51 2s
February 19, 2025 10:51 2s
Strategized, type-erased graph dumper Check code formatting #198: Pull request #113 synchronize by thaugdahl
February 19, 2025 10:46 32s thaugdahl/graph-dumper
thaugdahl/graph-dumper
February 19, 2025 10:46 32s
Strategized, type-erased graph dumper Pull Request Labeler #59: Pull request #113 synchronize by thaugdahl
February 19, 2025 10:46 12s
February 19, 2025 10:46 12s
Strategized, type-erased graph dumper Check code formatting #197: Pull request #113 synchronize by thaugdahl
February 19, 2025 10:45 30s thaugdahl/graph-dumper
thaugdahl/graph-dumper
February 19, 2025 10:45 30s
Strategized, type-erased graph dumper Pull Request Labeler #58: Pull request #113 synchronize by thaugdahl
February 19, 2025 10:45 12s
February 19, 2025 10:45 12s
Strategized, type-erased graph dumper Check code formatting #196: Pull request #113 synchronize by thaugdahl
February 19, 2025 10:39 37s thaugdahl/graph-dumper
thaugdahl/graph-dumper
February 19, 2025 10:39 37s
Strategized, type-erased graph dumper Pull Request Labeler #57: Pull request #113 synchronize by thaugdahl
February 19, 2025 10:39 15s
February 19, 2025 10:39 15s
Strategized, type-erased graph dumper Check code formatting #195: Pull request #113 synchronize by mscuttari
February 18, 2025 20:31 33s thaugdahl/graph-dumper
thaugdahl/graph-dumper
February 18, 2025 20:31 33s
Strategized, type-erased graph dumper Pull Request Labeler #56: Pull request #113 synchronize by mscuttari
February 18, 2025 20:29 12s
February 18, 2025 20:29 12s
Strategized, type-erased graph dumper Check code formatting #194: Pull request #113 synchronize by thaugdahl
February 18, 2025 13:50 1m 40s thaugdahl/graph-dumper
thaugdahl/graph-dumper
February 18, 2025 13:50 1m 40s
Strategized, type-erased graph dumper Pull Request Labeler #55: Pull request #113 synchronize by thaugdahl
February 18, 2025 13:50 15s
February 18, 2025 13:50 15s
Strategized, type-erased graph dumper Check code formatting #193: Pull request #113 opened by thaugdahl
February 18, 2025 13:48 33s thaugdahl/graph-dumper
thaugdahl/graph-dumper
February 18, 2025 13:48 33s