Skip to content

Actions: hannesm/patch

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
117 workflow runs
117 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Main workflow Main workflow #132: Scheduled
3m 12s main
main
3m 12s
Main workflow Main workflow #131: Scheduled
7m 22s main
main
7m 22s
Main workflow Main workflow #130: Scheduled
3m 50s main
main
3m 50s
Main workflow Main workflow #129: Scheduled
7m 27s main
main
7m 27s
changes for 3.1.2 Main workflow #128: Commit 1b977a1 pushed by hannesm
5m 50s v3.1.2
v3.1.2
5m 50s
pages build and deployment pages-build-deployment #6: by hannesm
42s gh-pages
gh-pages
42s
changes for 3.1.2 Main workflow #127: Commit 1b977a1 pushed by hannesm
7m 5s main
main
7m 5s
Merge pull request #45 from hannesm/exit-with-failure Main workflow #126: Commit 7c7d574 pushed by hannesm
6m 32s main
main
6m 32s
Main workflow Main workflow #125: Scheduled
1m 31s main
main
1m 31s
opatch: exit with non-zero exit code if a patch does not apply Main workflow #124: Pull request #45 synchronize by hannesm
7m 9s exit-with-failure
exit-with-failure
7m 9s
use 4.11 (latest opam-repository supported version) Main workflow #123: Commit 0a99658 pushed by hannesm
7m 5s exit-with-failure
exit-with-failure
7m 5s
opatch: exit with non-zero exit code if a patch does not apply Main workflow #122: Pull request #45 opened by hannesm
1m 45s exit-with-failure
exit-with-failure
1m 45s
opatch: exit with non-zero exit code if a patch does not apply Main workflow #121: Commit d35219f pushed by hannesm
1m 37s exit-with-failure
exit-with-failure
1m 37s
Main workflow Main workflow #120: Scheduled
1m 37s main
main
1m 37s
Main workflow Main workflow #119: Scheduled
4m 6s main
main
4m 6s
Main workflow Main workflow #118: Scheduled
1m 41s main
main
1m 41s
Add a Git_ext Copy operation to copy (and eventually edit afterwards) Main workflow #117: Pull request #44 opened by hannesm
1m 37s add-copy
add-copy
1m 37s
Add a Git_ext Copy operation to copy (and eventually edit afterwards) Main workflow #116: Commit 684b487 pushed by hannesm
1m 28s add-copy
add-copy
1m 28s
Main workflow Main workflow #115: Scheduled
2m 22s main
main
2m 22s
Main workflow Main workflow #114: Scheduled
1m 35s main
main
1m 35s
Main workflow Main workflow #113: Scheduled
2m 15s main
main
2m 15s
Main workflow Main workflow #112: Scheduled
1m 34s main
main
1m 34s
Main workflow Main workflow #111: Scheduled
1m 29s main
main
1m 29s
changes for 3.1.1 Main workflow #110: Commit c9f7a60 pushed by hannesm
1m 40s v3.1.1
v3.1.1
1m 40s
pages build and deployment pages-build-deployment #5: by hannesm
37s gh-pages
gh-pages
37s