Skip to content

Actions: the-au-forml-lab/plgroup

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

Random paper
Random paper #88: Manually run by nkrusch
August 13, 2023 17:09 19s main
August 13, 2023 17:09 19s
edit workflows
CodeQL #87: Commit 6364f0e pushed by nkrusch
August 13, 2023 07:18 1m 43s main
August 13, 2023 07:18 1m 43s
pages build and deployment
pages-build-deployment #85: by nkrusch
August 13, 2023 07:18 46s
August 13, 2023 07:18 46s
Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation
Notifications #34: Pull request #43 closed by nkrusch
August 13, 2023 06:46 Startup failure next-paper
August 13, 2023 06:46 Startup failure
Don’t Look UB: Exposing Sanitizer-Eliding Compiler Optimizations
Notifications #33: Pull request #42 closed by nkrusch
August 13, 2023 06:45 1s next-paper
August 13, 2023 06:45 1s
Don’t Look UB: Exposing Sanitizer-Eliding Compiler Optimizations
Random paper #86: Pull request #42 closed by nkrusch
August 13, 2023 06:45 18s next-paper
August 13, 2023 06:45 18s
Random paper
Random paper #85: Manually run by nkrusch
August 13, 2023 06:44 28s main
August 13, 2023 06:44 28s
workflow fix
CodeQL #86: Commit a7ca4a8 pushed by nkrusch
August 13, 2023 06:37 1m 30s main
August 13, 2023 06:37 1m 30s
pages build and deployment
pages-build-deployment #84: by nkrusch
August 13, 2023 06:37 50s
August 13, 2023 06:37 50s
Random paper
Random paper #82: Manually run by nkrusch
August 13, 2023 06:29 18s main
August 13, 2023 06:29 18s
maybe fix action
CodeQL #85: Commit 602e8db pushed by nkrusch
August 13, 2023 06:24 1m 34s main
August 13, 2023 06:24 1m 34s
pages build and deployment
pages-build-deployment #83: by nkrusch
August 13, 2023 06:24 56s
August 13, 2023 06:24 56s
Fall edits (#40)
CodeQL #84: Commit df77626 pushed by nkrusch
August 13, 2023 06:09 1m 43s main
August 13, 2023 06:09 1m 43s
pages build and deployment
pages-build-deployment #82: by nkrusch
August 13, 2023 06:09 1m 2s
August 13, 2023 06:09 1m 2s
Fall edits
Random paper #81: Pull request #40 closed by nkrusch
August 13, 2023 06:09 2s fall_edits
August 13, 2023 06:09 2s
Fall edits
Notifications #31: Pull request #40 closed by nkrusch
August 13, 2023 06:09 1s fall_edits
August 13, 2023 06:09 1s
Fall edits
CodeQL #83: Pull request #40 opened by nkrusch
August 13, 2023 06:09 1m 24s fall_edits
August 13, 2023 06:09 1m 24s
CodeQL
CodeQL #82: Scheduled
August 11, 2023 20:43 1m 47s main
August 11, 2023 20:43 1m 47s
Random paper
Random paper #80: Scheduled
August 11, 2023 17:11 3s main
August 11, 2023 17:11 3s
CodeQL
CodeQL #81: Scheduled
August 4, 2023 20:43 1m 32s main
August 4, 2023 20:43 1m 32s
Random paper
Random paper #79: Scheduled
August 4, 2023 17:11 3s main
August 4, 2023 17:11 3s
ProTip! You can narrow down the results and go further in time using created:<2023-08-04 or the other filters available.