Skip to content

Actions: benedikt-schesch/AST-Merging-Evaluation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,778 workflow run results
1,778 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update import merge tool Reproducibility Check #99: Pull request #271 synchronize by benedikt-schesch
May 9, 2024 21:43 5m 4s update-import
update-import
May 9, 2024 21:43 5m 4s
Update import merge tool Check style #3127: Pull request #271 synchronize by benedikt-schesch
May 9, 2024 21:43 3m 13s update-import
update-import
May 9, 2024 21:43 3m 13s
Update import merge tool Small test #3076: Pull request #271 synchronize by benedikt-schesch
May 9, 2024 21:43 15m 53s update-import
update-import
May 9, 2024 21:43 15m 53s
Fail in case any scripts fail Reproducibility Check #98: Commit 7c6307e pushed by benedikt-schesch
May 9, 2024 21:43 4m 54s update-import
update-import
May 9, 2024 21:43 4m 54s
Fail in case any scripts fail Check style #3126: Commit 7c6307e pushed by benedikt-schesch
May 9, 2024 21:43 3m 19s update-import
update-import
May 9, 2024 21:43 3m 19s
Fail in case any scripts fail Small test #3075: Commit 7c6307e pushed by benedikt-schesch
May 9, 2024 21:43 15m 47s update-import
update-import
May 9, 2024 21:43 15m 47s
Update adjacent merge tool Reproducibility Check #97: Pull request #286 synchronize by benedikt-schesch
May 9, 2024 21:43 4m 39s update-adjacent
update-adjacent
May 9, 2024 21:43 4m 39s
Update adjacent merge tool Check style #3125: Pull request #286 synchronize by benedikt-schesch
May 9, 2024 21:43 3m 14s update-adjacent
update-adjacent
May 9, 2024 21:43 3m 14s
Update adjacent merge tool Small test #3074: Pull request #286 synchronize by benedikt-schesch
May 9, 2024 21:43 15m 34s update-adjacent
update-adjacent
May 9, 2024 21:43 15m 34s
Fail in case any scripts fail Reproducibility Check #96: Commit a6d3ed4 pushed by benedikt-schesch
May 9, 2024 21:43 4m 59s update-adjacent
update-adjacent
May 9, 2024 21:43 4m 59s
Fail in case any scripts fail Check style #3124: Commit a6d3ed4 pushed by benedikt-schesch
May 9, 2024 21:43 3m 18s update-adjacent
update-adjacent
May 9, 2024 21:43 3m 18s
Fail in case any scripts fail Small test #3073: Commit a6d3ed4 pushed by benedikt-schesch
May 9, 2024 21:43 15m 17s update-adjacent
update-adjacent
May 9, 2024 21:43 15m 17s
Update adjacent merge tool Reproducibility Check #95: Pull request #286 synchronize by benedikt-schesch
May 9, 2024 21:40 53m 21s update-adjacent
update-adjacent
May 9, 2024 21:40 53m 21s
Update adjacent merge tool Check style #3123: Pull request #286 synchronize by benedikt-schesch
May 9, 2024 21:40 3m 23s update-adjacent
update-adjacent
May 9, 2024 21:40 3m 23s
Update adjacent merge tool Small test #3072: Pull request #286 synchronize by benedikt-schesch
May 9, 2024 21:40 16m 41s update-adjacent
update-adjacent
May 9, 2024 21:40 16m 41s
Build merge tools Reproducibility Check #94: Commit e008139 pushed by benedikt-schesch
May 9, 2024 21:40 53m 13s update-adjacent
update-adjacent
May 9, 2024 21:40 53m 13s
Build merge tools Check style #3122: Commit e008139 pushed by benedikt-schesch
May 9, 2024 21:40 3m 34s update-adjacent
update-adjacent
May 9, 2024 21:40 3m 34s
Build merge tools Small test #3071: Commit e008139 pushed by benedikt-schesch
May 9, 2024 21:40 15m 19s update-adjacent
update-adjacent
May 9, 2024 21:40 15m 19s
Update adjacent merge tool Check style #3121: Pull request #286 synchronize by benedikt-schesch
May 9, 2024 20:55 3m 22s update-adjacent
update-adjacent
May 9, 2024 20:55 3m 22s
Update adjacent merge tool Reproducibility Check #93: Pull request #286 synchronize by benedikt-schesch
May 9, 2024 20:55 43m 26s update-adjacent
update-adjacent
May 9, 2024 20:55 43m 26s
Update adjacent merge tool Small test #3070: Pull request #286 synchronize by benedikt-schesch
May 9, 2024 20:55 16m 16s update-adjacent
update-adjacent
May 9, 2024 20:55 16m 16s
Merged main Reproducibility Check #92: Commit edf5dd7 pushed by benedikt-schesch
May 9, 2024 20:55 42m 52s update-adjacent
update-adjacent
May 9, 2024 20:55 42m 52s
Merged main Check style #3120: Commit edf5dd7 pushed by benedikt-schesch
May 9, 2024 20:55 3m 23s update-adjacent
update-adjacent
May 9, 2024 20:55 3m 23s
Merged main Small test #3069: Commit edf5dd7 pushed by benedikt-schesch
May 9, 2024 20:55 15m 38s update-adjacent
update-adjacent
May 9, 2024 20:55 15m 38s
Update import merge tool Check style #3119: Pull request #271 synchronize by benedikt-schesch
May 9, 2024 20:53 3m 25s update-import
update-import
May 9, 2024 20:53 3m 25s