Skip to content

Actions: the-au-forml-lab/plgroup

Actions

Random paper

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
choose.yaml
110 workflow runs
110 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Random paper Random paper #305: Scheduled
May 30, 2025 14:18 1s main
main
May 30, 2025 14:18 1s
Random paper Random paper #304: Scheduled
May 23, 2025 14:17 1s main
main
May 23, 2025 14:17 1s
Random paper Random paper #303: Scheduled
May 16, 2025 14:17 1s main
main
May 16, 2025 14:17 1s
Random paper Random paper #302: Scheduled
May 9, 2025 14:18 2s main
main
May 9, 2025 14:18 2s
Random paper Random paper #301: Scheduled
May 2, 2025 14:17 1s main
main
May 2, 2025 14:17 1s
Blog additions 👍 Random paper #300: Pull request #270 closed by jweeks2023
April 25, 2025 22:17 1s jweeks-blog-testing
jweeks-blog-testing
April 25, 2025 22:17 1s
Random paper Random paper #299: Scheduled
April 25, 2025 14:17 2s main
main
April 25, 2025 14:17 2s
Random paper Random paper #298: Scheduled
April 18, 2025 14:16 2s main
main
April 18, 2025 14:16 2s
Random paper Random paper #297: Scheduled
April 11, 2025 14:17 1s main
main
April 11, 2025 14:17 1s
Random paper Random paper #296: Scheduled
April 4, 2025 14:16 1s main
main
April 4, 2025 14:16 1s
Refinement Type Refutations Random paper #295: Pull request #267 closed by jweeks2023
March 28, 2025 18:50 1s paper-vote-1
paper-vote-1
March 28, 2025 18:50 1s
Random paper Random paper #294: Scheduled
March 28, 2025 14:16 1s main
main
March 28, 2025 14:16 1s
Decidable Subtyping of Existential Types for Julia Random paper #293: Pull request #266 closed by jweeks2023
March 21, 2025 19:52 1s paper-vote-3
paper-vote-3
March 21, 2025 19:52 1s
Random paper Random paper #292: Scheduled
March 21, 2025 14:16 1s main
main
March 21, 2025 14:16 1s
Random paper Random paper #291: Scheduled
March 14, 2025 14:15 1s main
main
March 14, 2025 14:15 1s
Identifying and Correcting Programming Language Behavior Misconceptions Random paper #290: Pull request #261 closed by phanukaev
March 13, 2025 13:46 1s paper-vote-1
paper-vote-1
March 13, 2025 13:46 1s
The Ultimate Conditional Syntax Random paper #289: Pull request #260 closed by nkrusch
March 8, 2025 00:50 1s next-paper
next-paper
March 8, 2025 00:50 1s
Random paper Random paper #288: Scheduled
March 7, 2025 14:16 1s main
main
March 7, 2025 14:16 1s
Random paper Random paper #287: Scheduled
February 28, 2025 14:15 2s main
main
February 28, 2025 14:15 2s
Staged Compilation with Module Functors Random paper #286: Pull request #257 closed by phanukaev
February 21, 2025 20:08 3s paper-vote-1
paper-vote-1
February 21, 2025 20:08 3s
Random paper Random paper #285: Scheduled
February 21, 2025 14:14 3s main
main
February 21, 2025 14:14 3s
A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs Random paper #284: Pull request #256 closed by phanukaev
February 14, 2025 19:57 2s paper-vote-3
paper-vote-3
February 14, 2025 19:57 2s
Random paper Random paper #283: Scheduled
February 14, 2025 14:15 4s main
main
February 14, 2025 14:15 4s
exclude journals Random paper #282: 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 Random paper #281: Pull request #250 closed by phanukaev
February 7, 2025 19:58 2s paper-vote-1
paper-vote-1
February 7, 2025 19:58 2s