Skip to content

Actions: fram-lang/dbl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
335 workflow runs
335 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

New implementation of block commets (#168) Run tests #303: Commit 836d7bf pushed by forell
December 15, 2024 20:04 2m 40s master
master
December 15, 2024 20:04 2m 40s
New implementation of block commets Run tests #302: Pull request #168 synchronize by ppolesiuk
December 15, 2024 19:40 2m 34s 166-comments
166-comments
December 15, 2024 19:40 2m 34s
Simplified grammar of comments Run tests #301: Commit 8ed7cea pushed by ppolesiuk
December 15, 2024 19:40 2m 24s 166-comments
166-comments
December 15, 2024 19:40 2m 24s
New implementation of block commets Run tests #300: Pull request #168 synchronize by ppolesiuk
December 15, 2024 06:22 2m 19s 166-comments
166-comments
December 15, 2024 06:22 2m 19s
Updated test taken from fram-doc Run tests #299: Commit f264ad5 pushed by ppolesiuk
December 15, 2024 06:22 2m 49s 166-comments
166-comments
December 15, 2024 06:22 2m 49s
Replace ocamlyacc with cpspg Run tests #298: Pull request #165 synchronize by ppolesiuk
December 14, 2024 20:04 2m 16s adampsz:master
adampsz:master
December 14, 2024 20:04 2m 16s
New implementation of block commets Run tests #297: Pull request #168 opened by ppolesiuk
December 14, 2024 08:49 2m 50s 166-comments
166-comments
December 14, 2024 08:49 2m 50s
New implementation of block commets Run tests #296: Commit ad0a9a2 pushed by ppolesiuk
December 14, 2024 08:46 2m 48s 166-comments
166-comments
December 14, 2024 08:46 2m 48s
Assertions and irrecoverable runtime errors Run tests #295: Pull request #158 synchronize by forell
December 13, 2024 12:58 3m 1s 157-irrecoverable-errors
157-irrecoverable-errors
December 13, 2024 12:58 3m 1s
Add unwrap* methods for Option and some tweaks Run tests #294: Commit 01ac2d7 pushed by forell
December 13, 2024 12:58 2m 25s 157-irrecoverable-errors
157-irrecoverable-errors
December 13, 2024 12:58 2m 25s
changed comment syntax as requested (#164) Run tests #293: Commit e5220f6 pushed by ppolesiuk
December 11, 2024 08:21 2m 24s master
master
December 11, 2024 08:21 2m 24s
changed comment syntax as requested Run tests #292: Pull request #164 synchronize by ppolesiuk
December 11, 2024 08:15 2m 45s dominik-muc:162-comments
dominik-muc:162-comments
December 11, 2024 08:15 2m 45s
Disallow '~' and '?' operators (#163) Run tests #291: Commit c646592 pushed by ppolesiuk
December 11, 2024 07:48 2m 32s master
master
December 11, 2024 07:48 2m 32s
Replace ocamlyacc with cpspg Run tests #290: Pull request #165 opened by adampsz
December 10, 2024 15:03 2m 40s adampsz:master
adampsz:master
December 10, 2024 15:03 2m 40s
changed comment syntax as requested Run tests #289: Pull request #164 opened by dominik-muc
December 8, 2024 21:08 2m 57s dominik-muc:162-comments
dominik-muc:162-comments
December 8, 2024 21:08 2m 57s
Disallow '~' and '?' operators Run tests #288: Pull request #163 synchronize by fatmage
December 3, 2024 16:22 2m 24s fatmage:disallow_operators
fatmage:disallow_operators
December 3, 2024 16:22 2m 24s
Ordered Map and Ordered Set Run tests #287: Pull request #136 synchronize by MinionJakub
December 3, 2024 14:44 2m 27s MinionJakub:master
MinionJakub:master
December 3, 2024 14:44 2m 27s
Ordered Map and Ordered Set Run tests #286: Pull request #136 synchronize by MinionJakub
December 3, 2024 14:40 2m 20s MinionJakub:master
MinionJakub:master
December 3, 2024 14:40 2m 20s
Ordered Map and Ordered Set Run tests #285: Pull request #136 synchronize by MinionJakub
December 3, 2024 14:34 2m 38s MinionJakub:master
MinionJakub:master
December 3, 2024 14:34 2m 38s
Disallow '~' and '?' operators Run tests #284: Pull request #163 opened by fatmage
December 3, 2024 14:30 2m 31s fatmage:disallow_operators
fatmage:disallow_operators
December 3, 2024 14:30 2m 31s
Ordered Map and Ordered Set Run tests #283: Pull request #136 synchronize by MinionJakub
December 3, 2024 11:03 2m 42s MinionJakub:master
MinionJakub:master
December 3, 2024 11:03 2m 42s
New Unif intermediate language Run tests #282: Pull request #161 opened by ppolesiuk
December 2, 2024 20:46 2m 24s effect-inference-unif
effect-inference-unif
December 2, 2024 20:46 2m 24s
New Unif intermediate language Run tests #281: Commit 89c7c37 pushed by ppolesiuk
December 2, 2024 20:45 2m 27s effect-inference-unif
effect-inference-unif
December 2, 2024 20:45 2m 27s
Documentation of the internal Core type checker. (#159) Run tests #277: Commit 9789161 pushed by ppolesiuk
November 30, 2024 20:37 2m 32s effect-inference
effect-inference
November 30, 2024 20:37 2m 32s
Ordered Map and Ordered Set Run tests #276: Pull request #136 synchronize by MinionJakub
November 30, 2024 14:38 2m 28s MinionJakub:master
MinionJakub:master
November 30, 2024 14:38 2m 28s