Skip to content

Actions: frazze-jobb/otp

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
55 workflow run results
55 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/ #10: Scheduled
November 1, 2023 20:12 3s master
November 1, 2023 20:12 3s
Sync all github prs with erlang.github.io/prs/
Sync all github prs with erlang.github.io/prs/ #9: Scheduled
November 1, 2023 16:15 3s master
November 1, 2023 16:15 3s
Sync all github prs with erlang.github.io/prs/
Sync all github prs with erlang.github.io/prs/ #8: Scheduled
November 1, 2023 12:22 3s master
November 1, 2023 12:22 3s
Sync all github prs with erlang.github.io/prs/
Sync all github prs with erlang.github.io/prs/ #7: Scheduled
November 1, 2023 08:14 2s master
November 1, 2023 08:14 2s
Update PR details
Update PR details #382: completed by frazze-jobb
November 1, 2023 04:14 3s
November 1, 2023 04:14 3s
Sync all github prs with erlang.github.io/prs/
Sync all github prs with erlang.github.io/prs/ #6: Scheduled
November 1, 2023 04:13 2s master
November 1, 2023 04:13 2s
Update PR details
Update PR details #381: requested by frazze-jobb
November 1, 2023 01:53 3s
November 1, 2023 01:53 3s
Build and check Erlang/OTP
Build and check Erlang/OTP #191: Scheduled
November 1, 2023 01:53 2h 20m 41s master
November 1, 2023 01:53 2h 20m 41s
Sync all github prs with erlang.github.io/prs/
Sync all github prs with erlang.github.io/prs/ #5: Scheduled
November 1, 2023 00:56 3s master
November 1, 2023 00:56 3s
Sync all github prs with erlang.github.io/prs/
Sync all github prs with erlang.github.io/prs/ #4: Scheduled
October 31, 2023 20:11 2s master
October 31, 2023 20:11 2s
Sync all github prs with erlang.github.io/prs/
Sync all github prs with erlang.github.io/prs/ #3: Scheduled
October 31, 2023 16:15 3s master
October 31, 2023 16:15 3s
Sync all github prs with erlang.github.io/prs/
Sync all github prs with erlang.github.io/prs/ #2: Scheduled
October 31, 2023 12:22 2s master
October 31, 2023 12:22 2s
Update PR details
Update PR details #380: completed by frazze-jobb
October 31, 2023 09:43 4s
October 31, 2023 09:43 4s
Update PR details
Update PR details #379: completed by frazze-jobb
October 31, 2023 08:40 3s
October 31, 2023 08:40 3s
Sync all github prs with erlang.github.io/prs/
Sync all github prs with erlang.github.io/prs/ #1: Scheduled
October 31, 2023 08:14 2s master
October 31, 2023 08:14 2s
Update PR details
Update PR details #378: requested by frazze-jobb
October 31, 2023 07:06 3s
October 31, 2023 07:06 3s
Merge branch 'maint'
Build and check Erlang/OTP #190: Commit 380bfef pushed by frazze-jobb
October 31, 2023 07:06 2h 36m 42s master
October 31, 2023 07:06 2h 36m 42s
Update PR details
Update PR details #377: requested by frazze-jobb
October 31, 2023 07:06 3s
October 31, 2023 07:06 3s
Merge 'max-au/fix-pg-monitor-crash' into maint
Build and check Erlang/OTP #189: Commit d8c25c9 pushed by frazze-jobb
October 31, 2023 07:06 1h 34m 32s maint
October 31, 2023 07:06 1h 34m 32s
Update PR details
Update PR details #376: completed by frazze-jobb
October 30, 2023 14:24 5s
October 30, 2023 14:24 5s
Update PR details
Update PR details #375: completed by frazze-jobb
October 30, 2023 13:00 3s
October 30, 2023 13:00 3s
Update PR details
Update PR details #374: requested by frazze-jobb
October 30, 2023 11:52 3s
October 30, 2023 11:52 3s
stdlib: support paging inside expand area of the shell
Build and check Erlang/OTP #188: Commit 16554f9 pushed by frazze-jobb
October 30, 2023 11:52 2h 31m 55s frazze/stdlib/pager_feature_and_help
October 30, 2023 11:52 2h 31m 55s
Update PR details
Update PR details #373: requested by frazze-jobb
October 30, 2023 10:29 4s
October 30, 2023 10:29 4s