Skip to content

Actions: erlang/otp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,492 workflow run results
2,492 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Sync all github releases with erlang.org Sync all github releases with erlang.org #25500: Scheduled
August 17, 2023 11:02 11m 44s master
master
August 17, 2023 11:02 11m 44s
Possible race condition on socket when calling ssh:connect Add bugs to bugs project #1231: Issue #7571 opened by yarisx
August 17, 2023 10:46 11s
August 17, 2023 10:46 11s
Update PR details Update PR details #13163: completed by bjorng
August 17, 2023 10:29 38s
August 17, 2023 10:29 38s
Update PR details Update PR details #13162: requested by bjorng
August 17, 2023 10:22 50s
August 17, 2023 10:22 50s
Eliminate consistency failure for non-matching binary pattern Add bugs to bugs project #1230: Pull request #7570 opened by bjorng
August 17, 2023 10:22 15s
August 17, 2023 10:22 15s
Eliminate consistency failure for non-matching binary pattern Build and check Erlang/OTP #12232: Pull request #7570 opened by bjorng
August 17, 2023 10:22 42m 18s bjorng:bjorn/compiler/ensure_exactly/GH-7467/OTP-18725
bjorng:bjorn/compiler/ensure_exactly/GH-7467/OTP-18725
August 17, 2023 10:22 42m 18s
Unable to use reuseport with gen_udp:open Add bugs to bugs project #1229: Issue #7569 opened by LVala
August 17, 2023 10:18 14s
August 17, 2023 10:18 14s
Update PR details Update PR details #13161: completed by bjorng
August 17, 2023 10:12 33s
August 17, 2023 10:12 33s
Sync all github releases with erlang.org Sync all github releases with erlang.org #25499: Scheduled
August 17, 2023 10:02 10m 4s master
master
August 17, 2023 10:02 10m 4s
Update PR details Update PR details #13160: requested by bjorng
August 17, 2023 09:41 28s
August 17, 2023 09:41 28s
Merge pull request #7563 from bjorng/bjorn/compiler/types Build and check Erlang/OTP #12231: Commit 0a5b4ad pushed by bjorng
August 17, 2023 09:41 47m 30s master
master
August 17, 2023 09:41 47m 30s
Update PR details Update PR details #13159: requested by bjorng
August 17, 2023 09:40 50s
August 17, 2023 09:40 50s
Enhance type analysis Build and check Erlang/OTP #12230: Pull request #7563 synchronize by bjorng
August 17, 2023 09:40 31m 51s bjorng:bjorn/compiler/types
bjorng:bjorn/compiler/types
August 17, 2023 09:40 31m 51s
Sync all github releases with erlang.org Sync all github releases with erlang.org #25498: Scheduled
August 17, 2023 09:02 10m 32s master
master
August 17, 2023 09:02 10m 32s
Sync all github releases with erlang.org Sync all github releases with erlang.org #25497: Scheduled
August 17, 2023 08:02 6m 47s master
master
August 17, 2023 08:02 6m 47s
Update PR details Update PR details #13158: completed by Maria-12648430
August 17, 2023 07:46 12m 9s
August 17, 2023 07:46 12m 9s
Sync all github releases with erlang.org Sync all github releases with erlang.org #25496: Scheduled
August 17, 2023 07:02 5m 7s master
master
August 17, 2023 07:02 5m 7s
Update PR details Update PR details #13157: requested by Maria-12648430
August 17, 2023 06:50 53s
August 17, 2023 06:50 53s
gb_sets: group aliased functions in documentation Build and check Erlang/OTP #12229: Pull request #7568 opened by Maria-12648430
August 17, 2023 06:50 56m 10s Maria-12648430:improve_gb_sets_docs
Maria-12648430:improve_gb_sets_docs
August 17, 2023 06:50 56m 10s
gb_sets: group aliased functions in documentation Add bugs to bugs project #1228: Pull request #7568 opened by Maria-12648430
August 17, 2023 06:50 13s
August 17, 2023 06:50 13s
Update PR details Update PR details #13156: completed by bjorng
August 17, 2023 06:23 7m 24s
August 17, 2023 06:23 7m 24s
Sync all github releases with erlang.org Sync all github releases with erlang.org #25495: Scheduled
August 17, 2023 06:02 12m 26s master
master
August 17, 2023 06:02 12m 26s
Update PR details Update PR details #13155: requested by bjorng
August 17, 2023 05:12 52s
August 17, 2023 05:12 52s
Fix incorrect fusion of div and rem Build and check Erlang/OTP #12228: Pull request #7567 opened by bjorng
August 17, 2023 05:12 1h 11m 26s bjorng:bjorn/jit/fix-rem-div/GH-7566/OTP-7566
bjorng:bjorn/jit/fix-rem-div/GH-7566/OTP-7566
August 17, 2023 05:12 1h 11m 26s
Fix incorrect fusion of div and rem Add bugs to bugs project #1227: Pull request #7567 opened by bjorng
August 17, 2023 05:12 12s
August 17, 2023 05:12 12s