Skip to content

Actions: jimdigriz/otp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
289 workflow run results
289 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Sync all github prs with erlang.github.io/prs/ Sync all github prs with erlang.github.io/prs/ #127: Scheduled
October 31, 2023 20:03 2s master
master
October 31, 2023 20:03 2s
Sync all github prs with erlang.github.io/prs/ Sync all github prs with erlang.github.io/prs/ #126: Scheduled
October 31, 2023 16:03 3s master
master
October 31, 2023 16:03 3s
Sync all github prs with erlang.github.io/prs/ Sync all github prs with erlang.github.io/prs/ #125: Scheduled
October 31, 2023 12:04 3s master
master
October 31, 2023 12:04 3s
Sync all github prs with erlang.github.io/prs/ Sync all github prs with erlang.github.io/prs/ #124: Scheduled
October 31, 2023 08:04 3s master
master
October 31, 2023 08:04 3s
Sync all github prs with erlang.github.io/prs/ Sync all github prs with erlang.github.io/prs/ #123: Scheduled
October 31, 2023 04:03 3s master
master
October 31, 2023 04:03 3s
Update PR details Update PR details #367: completed by jimdigriz
October 31, 2023 03:43 3s
October 31, 2023 03:43 3s
Update PR details Update PR details #366: requested by jimdigriz
October 31, 2023 01:25 4s
October 31, 2023 01:25 4s
Build and check Erlang/OTP Build and check Erlang/OTP #323: Scheduled
October 31, 2023 01:25 2h 18m 28s master
master
October 31, 2023 01:25 2h 18m 28s
Sync all github prs with erlang.github.io/prs/ Sync all github prs with erlang.github.io/prs/ #122: Scheduled
October 31, 2023 00:12 3s master
master
October 31, 2023 00:12 3s
Sync all github prs with erlang.github.io/prs/ Sync all github prs with erlang.github.io/prs/ #121: Scheduled
October 30, 2023 20:03 3s master
master
October 30, 2023 20:03 3s
Update PR details Update PR details #365: completed by jimdigriz
October 30, 2023 18:06 5s
October 30, 2023 18:06 5s
Update PR details Update PR details #364: completed by jimdigriz
October 30, 2023 17:49 5s
October 30, 2023 17:49 5s
Update PR details Update PR details #363: requested by jimdigriz
October 30, 2023 16:28 3s
October 30, 2023 16:28 3s
inet_dns: support SIG(0) [WiP] Build and check Erlang/OTP #322: Commit 8e4d7b1 pushed by jimdigriz
October 30, 2023 16:28 1h 38m 43s sig0
sig0
October 30, 2023 16:28 1h 38m 43s
Update PR details Update PR details #362: completed by jimdigriz
October 30, 2023 16:20 3s
October 30, 2023 16:20 3s
Update PR details Update PR details #361: requested by jimdigriz
October 30, 2023 16:09 5s
October 30, 2023 16:09 5s
. Build and check Erlang/OTP #321: Commit c6b6789 pushed by jimdigriz
October 30, 2023 16:09 10m 35s sig0
sig0
October 30, 2023 16:09 10m 35s
Update PR details Update PR details #360: requested by jimdigriz
October 30, 2023 16:09 4s
October 30, 2023 16:09 4s
Merge branch 'maint' Build and check Erlang/OTP #320: Commit 380bfef pushed by jimdigriz
October 30, 2023 16:09 1h 40m 2s master
master
October 30, 2023 16:09 1h 40m 2s
Sync all github prs with erlang.github.io/prs/ Sync all github prs with erlang.github.io/prs/ #120: Scheduled
October 30, 2023 16:03 3s master
master
October 30, 2023 16:03 3s
Update PR details Update PR details #359: completed by jimdigriz
October 30, 2023 12:23 4s
October 30, 2023 12:23 4s
Sync all github prs with erlang.github.io/prs/ Sync all github prs with erlang.github.io/prs/ #119: Scheduled
October 30, 2023 12:04 3s master
master
October 30, 2023 12:04 3s
Update PR details Update PR details #358: completed by jimdigriz
October 30, 2023 11:12 4s
October 30, 2023 11:12 4s
Update PR details Update PR details #357: requested by jimdigriz
October 30, 2023 11:02 4s
October 30, 2023 11:02 4s
. Build and check Erlang/OTP #319: Commit 73ddb7e pushed by jimdigriz
October 30, 2023 11:02 10m 39s sig0
sig0
October 30, 2023 11:02 10m 39s