Skip to content

Actions: the-au-forml-lab/plgroup

Actions

Vote close

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
close.yaml
55 workflow runs
55 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Blog additions 👍 Vote close #87: 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 Vote close #86: Pull request #267 closed by jweeks2023
March 28, 2025 18:50 17s paper-vote-1
paper-vote-1
March 28, 2025 18:50 17s
Decidable Subtyping of Existential Types for Julia Vote close #85: Pull request #266 closed by jweeks2023
March 21, 2025 19:52 11s paper-vote-3
paper-vote-3
March 21, 2025 19:52 11s
Identifying and Correcting Programming Language Behavior Misconceptions Vote close #84: Pull request #261 closed by phanukaev
March 13, 2025 13:46 15s paper-vote-1
paper-vote-1
March 13, 2025 13:46 15s
The Ultimate Conditional Syntax Vote close #83: Pull request #260 closed by nkrusch
March 8, 2025 00:50 1s next-paper
next-paper
March 8, 2025 00:50 1s
Staged Compilation with Module Functors Vote close #82: Pull request #257 closed by phanukaev
February 21, 2025 20:08 21s paper-vote-1
paper-vote-1
February 21, 2025 20:08 21s
A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs Vote close #81: Pull request #256 closed by phanukaev
February 14, 2025 19:57 16s paper-vote-3
paper-vote-3
February 14, 2025 19:57 16s
exclude journals Vote close #80: 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 Vote close #79: Pull request #250 closed by phanukaev
February 7, 2025 19:58 13s paper-vote-1
paper-vote-1
February 7, 2025 19:58 13s
Message-Observing Sessions Vote close #78: Pull request #249 closed by jweeks2023
January 31, 2025 17:06 18s paper-vote-3
paper-vote-3
January 31, 2025 17:06 18s
Embedding by Unembedding Vote close #77: Pull request #244 closed by phanukaev
January 24, 2025 19:53 20s paper-vote-2
paper-vote-2
January 24, 2025 19:53 20s
disconnect template Vote close #76: Pull request #246 closed by nkrusch
January 24, 2025 17:17 3s template
template
January 24, 2025 17:17 3s
Fully Verified Instruction Scheduling Vote close #75: Pull request #242 closed by phanukaev
January 17, 2025 20:26 13s paper-vote-3
paper-vote-3
January 17, 2025 20:26 13s
Vote close Vote close #74: Manually run by nkrusch
January 12, 2025 19:30 15s main
main
January 12, 2025 19:30 15s
Vote close Vote close #73: Manually run by nkrusch
January 12, 2025 19:12 19s main
main
January 12, 2025 19:12 19s
Vote close Vote close #72: Manually run by nkrusch
January 12, 2025 19:08 13s main
main
January 12, 2025 19:08 13s
Vote close Vote close #71: Manually run by nkrusch
January 12, 2025 18:52 14s main
main
January 12, 2025 18:52 14s
test Vote close #70: Pull request #227 closed by nkrusch
January 12, 2025 18:25 2s next-paper
next-paper
January 12, 2025 18:25 2s
Knuth–Morris–Pratt illustrated Vote close #69: Pull request #224 closed by nkrusch
January 10, 2025 22:03 17s paper-vote-2
paper-vote-2
January 10, 2025 22:03 17s
Automated Verification of Fundamental Algebraic Laws Vote close #68: 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 Vote close #67: 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 Vote close #66: 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 Vote close #65: Pull request #219 closed by phanukaev
October 25, 2024 19:11 19s paper-vote-3
paper-vote-3
October 25, 2024 19:11 19s
Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory Vote close #64: Pull request #215 closed by phanukaev
October 18, 2024 19:03 18s paper-vote-4
paper-vote-4
October 18, 2024 19:03 18s
add new oopsla papers Vote close #63: Pull request #216 closed by nkrusch
October 10, 2024 16:32 2s oopsla-24
oopsla-24
October 10, 2024 16:32 2s