Skip to content

Actions: fram-lang/dbl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
396 workflow runs
396 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Warning about abstr modifier in pub rec block Run tests #81: Pull request #91 opened by Bohun9
May 6, 2024 17:13 2m 17s Bohun9:useless-abstr-modifier
Bohun9:useless-abstr-modifier
May 6, 2024 17:13 2m 17s
Changing module names to allow use of dune utop command Run tests #80: Pull request #88 synchronize by Foxinio
May 6, 2024 15:10 2m 50s Foxinio:master
Foxinio:master
May 6, 2024 15:10 2m 50s
REPL grouping works if there is no error Run tests #79: Pull request #90 opened by Bohun9
May 6, 2024 14:12 2m 21s Bohun9:grouping-definitions-repl
Bohun9:grouping-definitions-repl
May 6, 2024 14:12 2m 21s
Command line parameters for search paths Run tests #78: Pull request #89 opened by Bohun9
May 6, 2024 10:18 2m 33s Bohun9:cmd-line-params-search-paths
Bohun9:cmd-line-params-search-paths
May 6, 2024 10:18 2m 33s
Remove obsolete definitions of fix and Nat Run tests #77: Commit 0a3a00d pushed by ppolesiuk
May 6, 2024 07:58 3m 10s master
master
May 6, 2024 07:58 3m 10s
Early abort of pipeline in REPL Run tests #76: Pull request #67 synchronize by ppolesiuk
May 6, 2024 07:50 2m 27s 66-repl-bug-fix
66-repl-bug-fix
May 6, 2024 07:50 2m 27s
Merge branch 'master' into 66-repl-bug-fix Run tests #75: Commit 73507c7 pushed by ppolesiuk
May 6, 2024 07:50 2m 17s 66-repl-bug-fix
66-repl-bug-fix
May 6, 2024 07:50 2m 17s
Changing module names to allow use of dune utop command Run tests #74: Pull request #88 opened by Foxinio
May 5, 2024 22:43 2m 27s Foxinio:master
Foxinio:master
May 5, 2024 22:43 2m 27s
Changing module names to allow use of dune utop command Run tests #73: Pull request #87 opened by Foxinio
May 5, 2024 21:40 2m 14s Foxinio:master
Foxinio:master
May 5, 2024 21:40 2m 14s
Remove obsolete definitions of fix and Nat Run tests #72: Pull request #86 opened by Bohun9
May 5, 2024 18:54 2m 23s Bohun9:obsolete-definitions-prelude
Bohun9:obsolete-definitions-prelude
May 5, 2024 18:54 2m 23s
Separate files as modules (#80) Run tests #71: Commit eac7cc7 pushed by ppolesiuk
May 5, 2024 14:50 2m 53s master
master
May 5, 2024 14:50 2m 53s
Separate files as modules Run tests #70: Pull request #80 synchronize by forell
May 5, 2024 11:55 2m 16s 35-separate-files
35-separate-files
May 5, 2024 11:55 2m 16s
Improve the documentation a bit Run tests #69: Commit deae1b5 pushed by forell
May 5, 2024 11:55 2m 15s 35-separate-files
35-separate-files
May 5, 2024 11:55 2m 15s
Separate files as modules Run tests #68: Pull request #80 opened by forell
May 4, 2024 14:18 2m 27s 35-separate-files
35-separate-files
May 4, 2024 14:18 2m 27s
Separate files as modles Run tests #67: Commit 54f7933 pushed by forell
May 4, 2024 14:09 2m 15s 35-separate-files
35-separate-files
May 4, 2024 14:09 2m 15s
Mutually recursive ADTs and labels in Core (#79) Run tests #66: Commit 1cf329d pushed by forell
May 4, 2024 12:50 2m 19s master
master
May 4, 2024 12:50 2m 19s
Early abort of pipeline in REPL Run tests #65: Pull request #67 synchronize by ppolesiuk
May 4, 2024 04:21 2m 13s 66-repl-bug-fix
66-repl-bug-fix
May 4, 2024 04:21 2m 13s
Merge branch 'master' into 66-repl-bug-fix Run tests #64: Commit 11b3486 pushed by ppolesiuk
May 4, 2024 04:21 2m 27s 66-repl-bug-fix
66-repl-bug-fix
May 4, 2024 04:21 2m 27s
Refactoring of TypeInference (#76) Run tests #63: Commit 8a600ee pushed by forell
May 3, 2024 20:32 2m 16s master
master
May 3, 2024 20:32 2m 16s
Checking if recursive functions have NTerm effect (#75) Run tests #62: Commit 94002d4 pushed by forell
May 3, 2024 13:02 2m 56s master
master
May 3, 2024 13:02 2m 56s
Mutually recursive ADTs and labels in Core Run tests #61: Pull request #79 opened by ppolesiuk
May 3, 2024 09:00 2m 46s 77-rec-labels-in-core
77-rec-labels-in-core
May 3, 2024 09:00 2m 46s
Mutually recursive ADTs and labels in Core Run tests #60: Commit 66c16f6 pushed by ppolesiuk
May 3, 2024 08:56 2m 29s 77-rec-labels-in-core
77-rec-labels-in-core
May 3, 2024 08:56 2m 29s
Refactoring of TypeInference Run tests #59: Pull request #76 opened by ppolesiuk
May 3, 2024 06:04 2m 15s type-inference-refactor
type-inference-refactor
May 3, 2024 06:04 2m 15s
Refactoring of TypeInference Run tests #58: Commit e80f9e0 pushed by ppolesiuk
May 3, 2024 06:01 2m 16s type-inference-refactor
type-inference-refactor
May 3, 2024 06:01 2m 16s
Checking if recursive functions have NTerm effect Run tests #57: Pull request #75 opened by ppolesiuk
May 1, 2024 20:33 2m 19s 74-nterm-effect-in-core
74-nterm-effect-in-core
May 1, 2024 20:33 2m 19s
ProTip! You can narrow down the results and go further in time using created:<2024-05-01 or the other filters available.