Skip to content

Actions: benedikt-schesch/AST-Merging-Evaluation

Reproducibility Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
948 workflow runs
948 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add plumelib+gitmerge scripts
Reproducibility Check #726: Pull request #344 synchronize by benedikt-schesch
September 5, 2024 21:21 20m 43s mernst:x-plus-plumelib
September 5, 2024 21:21 20m 43s
Add plumelib+gitmerge scripts
Reproducibility Check #725: Pull request #344 synchronize by benedikt-schesch
September 5, 2024 21:20 20m 31s mernst:x-plus-plumelib
September 5, 2024 21:20 20m 31s
Add plumelib+gitmerge scripts
Reproducibility Check #724: Pull request #344 synchronize by benedikt-schesch
September 5, 2024 21:16 21m 34s mernst:x-plus-plumelib
September 5, 2024 21:16 21m 34s
Add plumelib+gitmerge scripts
Reproducibility Check #723: Pull request #344 synchronize by benedikt-schesch
September 5, 2024 21:09 20m 15s mernst:x-plus-plumelib
September 5, 2024 21:09 20m 15s
Add plumelib+gitmerge scripts
Reproducibility Check #722: Pull request #344 synchronize by mernst
September 5, 2024 15:44 2h 12m 9s mernst:x-plus-plumelib
September 5, 2024 15:44 2h 12m 9s
Reduce diffs (#334)
Reproducibility Check #721: Commit 0fbf803 pushed by benedikt-schesch
September 5, 2024 15:44 2h 10m 40s main
September 5, 2024 15:44 2h 10m 40s
Add plumelib+gitmerge scripts
Reproducibility Check #720: Pull request #344 synchronize by mernst
September 5, 2024 15:42 2h 11m 46s mernst:x-plus-plumelib
September 5, 2024 15:42 2h 11m 46s
Reduce diffs
Reproducibility Check #719: Pull request #334 synchronize by mernst
September 5, 2024 15:42 2h 12m 13s mernst:reduce-diffs
September 5, 2024 15:42 2h 12m 13s
No zdiff (#345)
Reproducibility Check #718: Commit ae9f644 pushed by benedikt-schesch
September 5, 2024 12:59 2h 11m 4s main
September 5, 2024 12:59 2h 11m 4s
No zdiff
Reproducibility Check #717: Pull request #345 opened by benedikt-schesch
September 5, 2024 06:16 2h 12m 35s no-zdiff
September 5, 2024 06:16 2h 12m 35s
Added data
Reproducibility Check #716: Commit caff670 pushed by benedikt-schesch
September 5, 2024 06:16 2h 14m 45s no-zdiff
September 5, 2024 06:16 2h 14m 45s
Remove commented-out check for MacOS (#336)
Reproducibility Check #715: Commit 50bb829 pushed by benedikt-schesch
September 4, 2024 19:43 2h 9m 43s main
September 4, 2024 19:43 2h 9m 43s
Remove commented-out check for MacOS
Reproducibility Check #714: Pull request #336 synchronize by benedikt-schesch
September 4, 2024 19:43 2h 11m 34s mernst:darwin-ok
September 4, 2024 19:43 2h 11m 34s
Add plumelib+gitmerge scripts
Reproducibility Check #713: Pull request #344 synchronize by mernst
September 2, 2024 19:17 1h 28m 41s mernst:x-plus-plumelib
September 2, 2024 19:17 1h 28m 41s
Reduce diffs
Reproducibility Check #712: Pull request #334 synchronize by mernst
September 2, 2024 19:17 1h 29m 28s mernst:reduce-diffs
September 2, 2024 19:17 1h 29m 28s
Use diff3 style, not zdiff3 style
Reproducibility Check #711: Pull request #341 synchronize by mernst
September 2, 2024 19:17 1h 28m 51s mernst:no-zdiff
September 2, 2024 19:17 1h 28m 51s
Check number of arguments
Reproducibility Check #710: Commit 454846a pushed by mernst
September 2, 2024 19:13 2h 9m 51s main
September 2, 2024 19:13 2h 9m 51s
Use exit 2 for script failure
Reproducibility Check #709: Commit 2e0c9f4 pushed by mernst
September 2, 2024 19:13 2h 11m 32s main
September 2, 2024 19:13 2h 11m 32s
Check number of arguments
Reproducibility Check #708: Pull request #342 synchronize by mernst
September 2, 2024 17:01 2h 8m 30s mernst:check-usage
September 2, 2024 17:01 2h 8m 30s
Use exit 2 for script failure
Reproducibility Check #707: Pull request #337 synchronize by mernst
September 2, 2024 17:00 2h 11m 35s mernst:exit-status
September 2, 2024 17:00 2h 11m 35s
Rename script
Reproducibility Check #706: Commit bbd083b pushed by mernst
September 2, 2024 16:59 2h 11m 17s main
September 2, 2024 16:59 2h 11m 17s
Tweak git settings
Reproducibility Check #705: Commit d657e1e pushed by mernst
September 2, 2024 16:59 2h 10m 42s main
September 2, 2024 16:59 2h 10m 42s
Add plumelib+gitmerge scripts
Reproducibility Check #704: Pull request #344 opened by mernst
September 2, 2024 03:57 1h 28m 21s mernst:x-plus-plumelib
September 2, 2024 03:57 1h 28m 21s
Reduce diffs
Reproducibility Check #703: Pull request #334 synchronize by mernst
September 2, 2024 03:53 1h 30m 59s mernst:reduce-diffs
September 2, 2024 03:53 1h 30m 59s
Check number of arguments
Reproducibility Check #702: Pull request #342 synchronize by mernst
September 2, 2024 03:50 2h 10m 10s mernst:check-usage
September 2, 2024 03:50 2h 10m 10s
ProTip! You can narrow down the results and go further in time using created:<2024-09-02 or the other filters available.