Skip to content

Actions: yallop/effects-bibliography

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
94 workflow runs
94 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Lexa language Links (Fail Fast) #251: Pull request #208 opened by hflsmax
December 15, 2024 00:58 Action required hflsmax:patch-1
hflsmax:patch-1
December 15, 2024 00:58 Action required
Added link to the video Links (Fail Fast) #250: Commit f7bf28f pushed by yallop
December 13, 2024 20:38 2m 31s master
master
December 13, 2024 20:38 2m 31s
Added MSc dissertation of Patrycja Balik Links (Fail Fast) #249: Pull request #206 synchronize by ppolesiuk
December 13, 2024 20:10 2m 28s ppolesiuk:pbalik
ppolesiuk:pbalik
December 13, 2024 20:10 2m 28s
Ignore fstar-lang.org (expired certificate) when checking URL validity. Links (Fail Fast) #248: Commit 581a72e pushed by yallop
December 13, 2024 17:14 2m 28s master
master
December 13, 2024 17:14 2m 28s
Add two papers on lexically scoped effect/exception handlers Links (Fail Fast) #247: Pull request #207 synchronize by yallop
December 13, 2024 17:05 2m 32s yizhouzhang:patch-1
yizhouzhang:patch-1
December 13, 2024 17:05 2m 32s
Added MSc dissertation of Patrycja Balik Links (Fail Fast) #246: Pull request #206 synchronize by ppolesiuk
December 13, 2024 09:12 34s ppolesiuk:pbalik
ppolesiuk:pbalik
December 13, 2024 09:12 34s
Add two papers on lexically scoped effect/exception handlers Links (Fail Fast) #245: Pull request #207 opened by yizhouzhang
December 13, 2024 08:04 57s yizhouzhang:patch-1
yizhouzhang:patch-1
December 13, 2024 08:04 57s
Added MSc dissertation of Patrycja Balik Links (Fail Fast) #244: Pull request #206 opened by ppolesiuk
December 11, 2024 10:24 2m 28s ppolesiuk:pbalik
ppolesiuk:pbalik
December 11, 2024 10:24 2m 28s
Upodate URL for "Notions of Computation and Monads" Links (Fail Fast) #243: Commit 2672065 pushed by yallop
November 23, 2024 10:05 2m 32s master
master
November 23, 2024 10:05 2m 32s
add Flix and Associated Effects Links (Fail Fast) #242: Pull request #205 synchronize by yallop
November 23, 2024 10:00 3m 21s mlutze:flix
mlutze:flix
November 23, 2024 10:00 3m 21s
add Flix and Associated Effects Links (Fail Fast) #241: Pull request #205 synchronize by dhil
November 22, 2024 10:14 16s mlutze:flix
mlutze:flix
November 22, 2024 10:14 16s
add Flix and Associated Effects Links (Fail Fast) #240: Pull request #205 opened by mlutze
November 19, 2024 10:53 27s mlutze:flix
mlutze:flix
November 19, 2024 10:53 27s
Added "Specificaiton and Verification for Unrestricted Algebraic Effe… Links (Fail Fast) #239: Commit c2a400a pushed by dhil
October 30, 2024 15:43 18s master
master
October 30, 2024 15:43 18s
Added "Specificaiton and Verification for Unrestricted Algebraic Effe… Links (Fail Fast) #238: Pull request #204 synchronize by Remyjck
October 29, 2024 17:02 2m 35s Remyjck:patch-1
Remyjck:patch-1
October 29, 2024 17:02 2m 35s
Add Fram programming language (#203) Links (Fail Fast) #236: Commit 13aa54d pushed by dhil
October 25, 2024 08:42 2m 29s master
master
October 25, 2024 08:42 2m 29s
Add Fram programming language Links (Fail Fast) #235: Pull request #203 opened by ppolesiuk
October 25, 2024 08:07 2m 44s ppolesiuk:fram
ppolesiuk:fram
October 25, 2024 08:07 2m 44s
Add two of my papers. (#202) Links (Fail Fast) #234: Commit d675e3c pushed by dhil
October 14, 2024 19:07 2m 45s master
master
October 14, 2024 19:07 2m 45s
Add two of my papers. Links (Fail Fast) #233: Pull request #202 opened by DeVilhena-Paulo
October 14, 2024 16:42 2m 37s DeVilhena-Paulo:master
DeVilhena-Paulo:master
October 14, 2024 16:42 2m 37s
Update Effekt description and URL Links (Fail Fast) #232: Commit a6cd641 pushed by yallop
September 30, 2024 09:01 2m 29s master
master
September 30, 2024 09:01 2m 29s
Increase lychee link-checker timeout. Links (Fail Fast) #231: Pull request #201 opened by yallop
September 28, 2024 13:56 1m 3s lychee-timeout
lychee-timeout
September 28, 2024 13:56 1m 3s
Increase lychee link-checker timeout. Links (Fail Fast) #230: Commit 853149c pushed by yallop
September 28, 2024 13:56 59s lychee-timeout
lychee-timeout
September 28, 2024 13:56 59s
Update Effekt description and URL Links (Fail Fast) #229: Pull request #200 opened by b-studios
September 14, 2024 07:10 2m 39s b-studios:patch-2
b-studios:patch-2
September 14, 2024 07:10 2m 39s
Fix existing and add missing meta-data (#199) Links (Fail Fast) #228: Commit 3a781b2 pushed by dhil
August 7, 2024 15:39 2m 31s master
master
August 7, 2024 15:39 2m 31s
Fix existing and add missing meta-data Links (Fail Fast) #227: Pull request #199 synchronize by matijapretnar
August 7, 2024 06:40 2m 29s matijapretnar:cleanup
matijapretnar:cleanup
August 7, 2024 06:40 2m 29s
Fix existing and add missing meta-data Links (Fail Fast) #226: Pull request #199 synchronize by matijapretnar
August 7, 2024 06:24 2m 28s matijapretnar:cleanup
matijapretnar:cleanup
August 7, 2024 06:24 2m 28s