Skip to content

Actions: the-au-forml-lab/plgroup

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
90 workflow run results
90 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CodeQL CodeQL #111: Scheduled
September 1, 2023 20:43 2m 11s main
main
September 1, 2023 20:43 2m 11s
↗ CodeQL #110: Commit 3bdb700 pushed by nkrusch
September 1, 2023 19:23 1m 48s main
main
September 1, 2023 19:23 1m 48s
pages build and deployment pages-build-deployment #101: by nkrusch
September 1, 2023 19:23 54s
September 1, 2023 19:23 54s
added link to GH CodeQL #109: Commit 8011492 pushed by nkrusch
September 1, 2023 19:21 2m 0s main
main
September 1, 2023 19:21 2m 0s
pages build and deployment pages-build-deployment #100: by nkrusch
September 1, 2023 19:21 1m 4s
September 1, 2023 19:21 1m 4s
UniRec: a unimodular-like framework for nested recursions and loops Random paper #104: Pull request #55 closed by nkrusch
September 1, 2023 18:56 2s next-paper
next-paper
September 1, 2023 18:56 2s
Next paper 01 September (#55) CodeQL #108: Commit a205dd1 pushed by nkrusch
September 1, 2023 18:56 1m 45s main
main
September 1, 2023 18:56 1m 45s
UniRec: a unimodular-like framework for nested recursions and loops Notifications #46: Pull request #55 closed by nkrusch
September 1, 2023 18:56 21s next-paper
next-paper
September 1, 2023 18:56 21s
pages build and deployment pages-build-deployment #99: by nkrusch
September 1, 2023 18:55 1m 8s
September 1, 2023 18:55 1m 8s
Random paper Random paper #103: Scheduled
September 1, 2023 14:11 21s main
main
September 1, 2023 14:11 21s
CodeQL CodeQL #107: Scheduled
August 25, 2023 20:43 1m 15s main
main
August 25, 2023 20:43 1m 15s
Interval Parsing Grammars for File Format Parsing Random paper #102: Pull request #54 closed by nkrusch
August 25, 2023 19:06 3s next-paper
next-paper
August 25, 2023 19:06 3s
pages build and deployment pages-build-deployment #98: by nkrusch
August 25, 2023 19:06 57s
August 25, 2023 19:06 57s
Interval Parsing Grammars for File Format Parsing Notifications #45: Pull request #54 closed by nkrusch
August 25, 2023 19:06 24s next-paper
next-paper
August 25, 2023 19:06 24s
Next paper 25 August (#54) CodeQL #106: Commit ba81c66 pushed by nkrusch
August 25, 2023 19:06 1m 40s main
main
August 25, 2023 19:06 1m 40s
Random paper Random paper #101: Scheduled
August 25, 2023 14:11 25s main
main
August 25, 2023 14:11 25s
edit docs CodeQL #105: Commit 95e75be pushed by nkrusch
August 22, 2023 13:54 1m 16s main
main
August 22, 2023 13:54 1m 16s
pages build and deployment pages-build-deployment #97: by nkrusch
August 22, 2023 13:54 59s
August 22, 2023 13:54 59s
CodeQL CodeQL #104: Scheduled
August 18, 2023 20:43 1m 14s main
main
August 18, 2023 20:43 1m 14s
The essence of online data processing Notifications #44: Pull request #53 closed by nkrusch
August 18, 2023 18:22 3s next-paper
next-paper
August 18, 2023 18:22 3s
The essence of online data processing Random paper #100: Pull request #53 closed by nkrusch
August 18, 2023 18:22 12s next-paper
next-paper
August 18, 2023 18:22 12s
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A Notifications #43: Pull request #51 closed by nkrusch
August 18, 2023 18:21 2s next-paper
next-paper
August 18, 2023 18:21 2s
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A Random paper #99: Pull request #51 closed by nkrusch
August 18, 2023 18:21 23s next-paper
next-paper
August 18, 2023 18:21 23s
pages build and deployment pages-build-deployment #96: by nkrusch
August 18, 2023 18:21 50s
August 18, 2023 18:21 50s
update workflows CodeQL #103: Commit 978610f pushed by nkrusch
August 18, 2023 18:21 1m 14s main
main
August 18, 2023 18:21 1m 14s