8000 Workflow runs · etylizer/etylizer · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: etylizer/etylizer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
463 workflow runs
463 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

complete inference for intersection types Erlang CI #439: Pull request #104 synchronize by skogsbaer
July 11, 2024 12:34 2m 21s sw/simpl-complete
sw/simpl-complete
July 11, 2024 12:34 2m 21s
do sanity checks for simple tests Erlang CI #438: Commit b8c775a pushed by skogsbaer
July 11, 2024 12:34 2m 10s sw/simpl-complete
sw/simpl-complete
July 11, 2024 12:34 2m 10s
Debug time Erlang CI #437: Commit 52c4977 pushed by albsch
July 10, 2024 15:09 34m 23s as/debug-time
as/debug-time
July 10, 2024 15:09 34m 23s
complete inference for intersection types Erlang CI #436: Pull request #104 synchronize by skogsbaer
July 9, 2024 15:13 2m 20s sw/simpl-complete
sw/simpl-complete
July 9, 2024 15:13 2m 20s
fix errors introduced by merge Erlang CI #435: Commit 5a3b722 pushed by skogsbaer
July 9, 2024 15:13 2m 21s sw/simpl-complete
sw/simpl-complete
July 9, 2024 15:13 2m 21s
Merge pull request #87 from etylizer/sw/clean-after-subst Erlang CI #434: Commit 638857c pushed by skogsbaer
July 9, 2024 14:44 2m 25s main
main
July 9, 2024 14:44 2m 25s
complete inference for intersection types Erlang CI #433: Pull request #104 synchronize by skogsbaer
July 9, 2024 12:15 2m 13s sw/simpl-complete
sw/simpl-complete
July 9, 2024 12:15 2m 13s
disable erlang 24 in CI Erlang CI #432: Commit 2c5599c pushed by skogsbaer
July 9, 2024 12:15 2m 14s sw/simpl-complete
sw/simpl-complete
July 9, 2024 12:15 2m 14s
complete inference for intersection types Erlang CI #431: Pull request #104 opened by skogsbaer
July 9, 2024 09:04 2m 26s sw/simpl-complete
sw/simpl-complete
July 9, 2024 09:04 2m 26s
make dialyzer happy Erlang CI #430: Commit 5a087e1 pushed by skogsbaer
July 9, 2024 08:59 2m 22s sw/simpl-complete
sw/simpl-complete
July 9, 2024 08:59 2m 22s
towards restructure Erlang CI #429: Commit 3b50b25 pushed by albsch
July 8, 2024 12:40 42s as/proper-corecursion
as/proper-corecursion
July 8, 2024 12:40 42s
fix error messages Erlang CI #428: Commit 65ff3b7 pushed by skogsbaer
July 4, 2024 06:53 1m 57s sw/simpl-complete
sw/simpl-complete
July 4, 2024 06:53 1m 57s
Dummy print Erlang CI #427: Commit 076d661 pushed by albsch
June 27, 2024 15:01 1m 56s as/proper-corecursion
as/proper-corecursion
June 27, 2024 15:01 1m 56s
more Erlang CI #426: Commit 946be71 pushed by albsch
June 27, 2024 13:28 49s as/proper-corecursion
as/proper-corecursion
June 27, 2024 13:28 49s
cleaning Erlang CI #425: Pull request #87 synchronize by skogsbaer
June 25, 2024 14:12 2m 49s sw/clean-after-subst
sw/clean-after-subst
June 25, 2024 14:12 2m 49s
Merge branch 'main' into sw/clean-after-subst Erlang CI #424: Commit f65db80 pushed by skogsbaer
June 25, 2024 14:12 2m 23s sw/clean-after-subst
sw/clean-after-subst
June 25, 2024 14:12 2m 23s
more Erlang CI #423: Commit 5e99afb pushed by albsch
June 25, 2024 12:14 42s as/proper-corecursion
as/proper-corecursion
June 25, 2024 12:14 42s
ignore impossible branches (#100) Erlang CI #422: Commit 36e8b75 pushed by albsch
June 25, 2024 11:38 2m 26s main
main
June 25, 2024 11:38 2m 26s
ignore impossible branches Erlang CI #421: Pull request #100 synchronize by skogsbaer
June 25, 2024 07:46 2m 22s sw/ignore-impossible-branches
sw/ignore-impossible-branches
June 25, 2024 07:46 2m 22s
add more tests for #36 Erlang CI #420: Commit 623212b pushed by skogsbaer
June 25, 2024 07:46 2m 22s sw/ignore-impossible-branches
sw/ignore-impossible-branches
June 25, 2024 07:46 2m 22s
debug session Erlang CI #419: Commit 5ab4409 pushed by albsch
June 24, 2024 07:22 2m 28s as/debug-session
as/debug-session
June 24, 2024 07:22 2m 28s
use rebar installed on system (#102) Erlang CI #418: Commit fc96a39 pushed by albsch
June 23, 2024 21:24 2m 17s main
main
June 23, 2024 21:24 2m 17s
use rebar installed on system Erlang CI #417: Pull request #102 opened by skogsbaer
June 23, 2024 21:14 2m 41s sw/rebar
sw/rebar
June 23, 2024 21:14 2m 41s
use rebar installed on system Erlang CI #416: Commit e5712fb pushed by skogsbaer
June 23, 2024 21:14 2m 20s sw/rebar
sw/rebar
June 23, 2024 21:14 2m 20s
towards proper corecursion Erlang CI #415: Commit 6018c5b pushed by albsch
June 23, 2024 18:50 1m 48s as/proper-corecursion
as/proper-corecursion
June 23, 2024 18:50 1m 48s
ProTip! You can narrow down the results and go further in time using created:<2024-06-23 or the other filters available.
0