Skip to content

Actions: the-au-forml-lab/plgroup

Actions

Notifications

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
notify.yaml
46 workflow runs
46 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Blog additions 👍 Notifications #149: Pull request #270 closed by jweeks2023
April 25, 2025 22:17 1s jweeks-blog-testing
jweeks-blog-testing
April 25, 2025 22:17 1s
Refinement Type Refutations Notifications #148: Pull request #267 closed by jweeks2023
March 28, 2025 18:50 14s paper-vote-1
paper-vote-1
March 28, 2025 18:50 14s
Decidable Subtyping of Existential Types for Julia Notifications #147: Pull request #266 closed by jweeks2023
March 21, 2025 19:52 12s paper-vote-3
paper-vote-3
March 21, 2025 19:52 12s
Identifying and Correcting Programming Language Behavior Misconceptions Notifications #146: Pull request #261 closed by phanukaev
March 13, 2025 13:46 14s paper-vote-1
paper-vote-1
March 13, 2025 13:46 14s
The Ultimate Conditional Syntax Notifications #145: Pull request #260 closed by nkrusch
March 8, 2025 00:50 18s next-paper
next-paper
March 8, 2025 00:50 18s
Staged Compilation with Module Functors Notifications #144: Pull request #257 closed by phanukaev
February 21, 2025 20:08 22s paper-vote-1
paper-vote-1
February 21, 2025 20:08 22s
A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs Notifications #143: Pull request #256 closed by phanukaev
February 14, 2025 19:57 22s paper-vote-3
paper-vote-3
February 14, 2025 19:57 22s
exclude journals Notifications #142: Pull request #253 closed by nkrusch
February 7, 2025 22:44 2s journals
journals
February 7, 2025 22:44 2s
Choral: Object-oriented Choreographic Programming Notifications #141: Pull request #250 closed by phanukaev
February 7, 2025 19:58 16s paper-vote-1
paper-vote-1
February 7, 2025 19:58 16s
Message-Observing Sessions Notifications #140: Pull request #249 closed by jweeks2023
January 31, 2025 17:06 25s paper-vote-3
paper-vote-3
January 31, 2025 17:06 25s
Embedding by Unembedding Notifications #139: Pull request #244 closed by phanukaev
January 24, 2025 19:53 24s paper-vote-2
paper-vote-2
January 24, 2025 19:53 24s
disconnect template Notifications #138: Pull request #246 closed by nkrusch
January 24, 2025 17:17 3s template
template
January 24, 2025 17:17 3s
Fully Verified Instruction Scheduling Notifications #137: Pull request #242 closed by phanukaev
January 17, 2025 20:26 21s paper-vote-3
paper-vote-3
January 17, 2025 20:26 21s
test Notifications #136: Pull request #227 closed by nkrusch
January 12, 2025 18:25 18s next-paper
next-paper
January 12, 2025 18:25 18s
Knuth–Morris–Pratt illustrated Notifications #135: Pull request #224 closed by nkrusch
January 10, 2025 22:03 22s paper-vote-2
paper-vote-2
January 10, 2025 22:03 22s
Automated Verification of Fundamental Algebraic Laws Notifications #134: Pull request #226 closed by nkrusch
January 9, 2025 20:53 2s paper-vote-4
paper-vote-4
January 9, 2025 20:53 2s
Update to spring 25 Notifications #133: Pull request #222 closed by nkrusch
December 21, 2024 21:55 3s spring-25
spring-25
December 21, 2024 21:55 3s
Update awards.md Notifications #132: Pull request #221 closed by phanukaev
November 25, 2024 20:29 3s jweeks2023-patch-1
jweeks2023-patch-1
November 25, 2024 20:29 3s
Parikh’s Theorem Made Symbolic Notifications #131: Pull request #219 closed by phanukaev
October 25, 2024 19:11 20s paper-vote-3
paper-vote-3
October 25, 2024 19:11 20s
Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory Notifications #130: Pull request #215 closed by phanukaev
October 18, 2024 19:03 17s paper-vote-4
paper-vote-4
October 18, 2024 19:03 17s
add new oopsla papers Notifications #129: Pull request #216 closed by nkrusch
October 10, 2024 16:32 3s oopsla-24
oopsla-24
October 10, 2024 16:32 3s
A Pretty Expressive Printer Notifications #128: Pull request #208 closed by nkrusch
September 20, 2024 18:10 24s paper-vote-1
paper-vote-1
September 20, 2024 18:10 24s
Fat Pointers for Temporal Memory Safety of C Notifications #127: Pull request #206 closed by phanukaev
September 13, 2024 18:40 19s paper-vote-3
paper-vote-3
September 13, 2024 18:40 19s
add papers from icfp 2024 Notifications #126: Pull request #203 closed by nkrusch
September 5, 2024 22:22 2s icfp-24
icfp-24
September 5, 2024 22:22 2s
Notifications Notifications #125: Manually run by nkrusch
September 3, 2024 04:05 17s main
main
September 3, 2024 04:05 17s