Skip to content

Actions: the-au-forml-lab/plgroup

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,197 workflow runs
1,197 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Next paper 22 September (#63) CodeQL #118: Commit 9205c32 pushed by nkrusch
September 22, 2023 18:49 1m 20s main
main
September 22, 2023 18:49 1m 20s
pages build and deployment pages-build-deployment #105: by nkrusch
September 22, 2023 18:49 54s
September 22, 2023 18:49 54s
Solo: a lightweight static analysis for differential privacy Random paper #117: Pull request #63 closed by nkrusch
September 22, 2023 18:49 2s next-paper
next-paper
September 22, 2023 18:49 2s
Solo: a lightweight static analysis for differential privacy Notifications #54: Pull request #63 closed by nkrusch
September 22, 2023 18:49 19s next-paper
next-paper
September 22, 2023 18:49 19s
Random paper Random paper #116: Scheduled
September 22, 2023 14:11 22s main
main
September 22, 2023 14:11 22s
Next paper 15 September (#62) CodeQL #117: Commit ca7d75a pushed by nkrusch
September 16, 2023 02:03 1m 44s main
main
September 16, 2023 02:03 1m 44s
Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece of Cake? Notifications #53: Pull request #62 closed by nkrusch
September 16, 2023 02:03 18s next-paper
next-paper
September 16, 2023 02:03 18s
Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece of Cake? Random paper #115: Pull request #62 closed by nkrusch
September 16, 2023 02:03 2s next-paper
next-paper
September 16, 2023 02:03 2s
pages build and deployment pages-build-deployment #104: by nkrusch
September 16, 2023 02:03 49s
September 16, 2023 02:03 49s
CodeQL CodeQL #116: Scheduled
September 15, 2023 20:42 1m 47s main
main
September 15, 2023 20:42 1m 47s
Model-guided synthesis of inductive lemmas for FOL with least fixpoints Notifications #52: Pull request #61 closed by phanukaev
September 15, 2023 18:52 2s next-paper
next-paper
September 15, 2023 18:52 2s
Model-guided synthesis of inductive lemmas for FOL with least fixpoints Random paper #114: Pull request #61 closed by phanukaev
September 15, 2023 18:52 29s next-paper
next-paper
September 15, 2023 18:52 29s
The essence of online data processing Random paper #113: Pull request #60 closed by phanukaev
September 15, 2023 18:50 25s next-paper
next-paper
September 15, 2023 18:50 25s
The essence of online data processing Notifications #51: Pull request #60 closed by phanukaev
September 15, 2023 18:50 3s next-paper
next-paper
September 15, 2023 18:50 3s
Random paper Random paper #112: Scheduled
September 15, 2023 14:11 21s main
main
September 15, 2023 14:11 21s
CodeQL CodeQL #115: Scheduled
September 8, 2023 20:43 1m 23s main
main
September 8, 2023 20:43 1m 23s
Comparative Synthesis: Learning Near-Optimal Network Designs by Query Random paper #111: Pull request #59 closed by nkrusch
September 8, 2023 20:28 18s next-paper
next-paper
September 8, 2023 20:28 18s
Comparative Synthesis: Learning Near-Optimal Network Designs by Query Notifications #50: Pull request #59 closed by nkrusch
September 8, 2023 20:28 2s next-paper
next-paper
September 8, 2023 20:28 2s
Random paper Random paper #110: Manually run by nkrusch
September 8, 2023 20:27 20s main
main
September 8, 2023 20:27 20s
Random paper Random paper #109: Manually run by nkrusch
September 8, 2023 20:27 19s main
main
September 8, 2023 20:27 19s
add shuffle (#58) CodeQL #114: Commit 6427a36 pushed by nkrusch
September 8, 2023 20:26 1m 57s main
main
September 8, 2023 20:26 1m 57s
pages build and deployment pages-build-deployment #103: by nkrusch
September 8, 2023 20:26 1m 0s
September 8, 2023 20:26 1m 0s
add shuffle Notifications #49: Pull request #58 closed by nkrusch
September 8, 2023 20:26 2s shuffle
shuffle
September 8, 2023 20:26 2s
add shuffle Random paper #108: Pull request #58 closed by nkrusch
September 8, 2023 20:26 2s shuffle
shuffle
September 8, 2023 20:26 2s
add shuffle CodeQL #113: Pull request #58 opened by nkrusch
September 8, 2023 20:25 1m 26s shuffle
shuffle
September 8, 2023 20:25 1m 26s
ProTip! You can narrow down the results and go further in time using created:<2023-09-08 or the other filters available.