Skip to content

Actions: etylizer/etylizer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
538 workflow runs
538 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support for frame variables in erlang_types. Erlang CI #989: Commit 29ad6ad pushed by albsch
9m 40s as/frame-variables
as/frame-variables
9m 40s
Check that all exported functions have type specs Erlang CI #988: Pull request #250 synchronize by nruschma7
Action required nruschma7:main
nruschma7:main
Action required
Case study continuation Erlang CI #987: Pull request #267 opened by albsch
6h 0m 8s as/case-study-std
as/case-study-std
6h 0m 8s
Case study cont Erlang CI #986: Commit db58292 pushed by albsch
6h 0m 8s as/case-study-std
as/case-study-std
6h 0m 8s
Tally variations Erlang CI #985: Pull request #264 synchronize by albsch
14m 24s as/tally-variations
as/tally-variations
14m 24s
Implemented variations of the tally algorithm for satisfiability Erlang CI #984: Commit a2733ba pushed by albsch
12m 57s as/tally-variations
as/tally-variations
12m 57s
Case study cont Erlang CI #983: Commit d563591 pushed by albsch
6h 0m 7s as/case-study-std
as/case-study-std
6h 0m 7s
Report mode for compilation manager Erlang CI #982: Pull request #266 opened by albsch
9m 46s as/cm-report
as/cm-report
9m 46s
Report mode for type checking Erlang CI #981: Commit 2057f2d pushed by albsch
9m 29s as/cm-report
as/cm-report
9m 29s
Report mode for type checking Erlang CI #980: Commit a370c20 pushed by albsch
9m 54s as/cm-report
as/cm-report
9m 54s
Tally variations Erlang CI #979: Pull request #264 synchronize by albsch
13m 13s as/tally-variations
as/tally-variations
13m 13s
Implemented variations of the tally algorithm for satisfiability Erlang CI #978: Commit 87bb5c3 pushed by albsch
14m 57s as/tally-variations
as/tally-variations
14m 57s
Tally variations Erlang CI #977: Pull request #264 synchronize by albsch
12m 23s as/tally-variations
as/tally-variations
12m 23s
Implemented variations of the tally algorithm for satisfiability Erlang CI #976: Commit 77c59cf pushed by albsch
13m 54s as/tally-variations
as/tally-variations
13m 54s
Tally variations Erlang CI #975: Pull request #264 synchronize by albsch
1h 36m 33s as/tally-variations
as/tally-variations
1h 36m 33s
Implemented variations of the tally algorithm for satisfiability Erlang CI #974: Commit 8bd455f pushed by albsch
1h 31m 52s as/tally-variations
as/tally-variations
1h 31m 52s
Exhaustiveness checking feature flag Erlang CI #973: Pull request #265 opened by albsch
9m 39s as/exhaustiveness-flag
as/exhaustiveness-flag
9m 39s
Exhaustiveness checking feature flag Erlang CI #972: Commit d2ecdde pushed by albsch
9m 30s as/exhaustiveness-flag
as/exhaustiveness-flag
9m 30s
Tally variations Erlang CI #971: Pull request #264 opened by albsch
32m 46s as/tally-variations
as/tally-variations
32m 46s
Implemented variations of the tally algorithm for satisfiability Erlang CI #970: Commit 7039adc pushed by albsch
30m 1s as/tally-variations
as/tally-variations
30m 1s
Erlang comprehensions Erlang CI #969: Pull request #262 synchronize by albsch
9m 40s as/comprehensions
as/comprehensions
9m 40s
Erlang comprehensions Erlang CI #968: Commit 59a78d7 pushed by albsch
9m 26s as/comprehensions
as/comprehensions
9m 26s
Try out explosion of dnf Erlang CI #967: Commit fdbdfbf pushed by albsch
10m 32s as/map-dnf-explosion
as/map-dnf-explosion
10m 32s
Merge pull request #258 from etylizer/as/case-study-cont Erlang CI #966: Commit 73a33ee pushed by skogsbaer
9m 46s main
main
9m 46s
ty_unit as wrapper to ty_rec Erlang CI #965: Commit a6b1247 pushed by erdemyl
2m 38s ey/maps
ey/maps
2m 38s