Skip to content

Actions: the-au-forml-lab/plgroup

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Message-Observing Sessions Random paper #279: Pull request #249 closed by jweeks2023
January 31, 2025 17:06 3s paper-vote-3
paper-vote-3
January 31, 2025 17:06 3s
Message-Observing Sessions Notifications #140: Pull request #249 closed by jweeks2023
January 31, 2025 17:06 25s paper-vote-3
paper-vote-3
January 31, 2025 17:06 25s
Merge pull request #249 from the-au-forml-lab/paper-vote-3 Test changes #306: Commit b5c946d pushed by jweeks2023
January 31, 2025 17:06 15s main
main
January 31, 2025 17:06 15s
pages build and deployment pages-build-deployment #372: by jweeks2023
January 31, 2025 17:06 40s main
main
January 31, 2025 17:06 40s
Random paper Random paper #278: Scheduled
January 31, 2025 14:14 3s main
main
January 31, 2025 14:14 3s
Message-Observing Sessions Test changes #305: Pull request #249 synchronize by nkrusch
January 29, 2025 21:01 18s paper-vote-3
paper-vote-3
January 29, 2025 21:01 18s
Verification under Intel-x86 with Persistency Test changes #304: Pull request #248 synchronize by nkrusch
January 29, 2025 21:01 28s paper-vote-2
paper-vote-2
January 29, 2025 21:01 28s
An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic Test changes #303: Pull request #247 synchronize by nkrusch
January 29, 2025 21:01 16s paper-vote-1
paper-vote-1
January 29, 2025 21:01 16s
edit website Test changes #302: Commit d94d1ae pushed by nkrusch
January 29, 2025 21:01 24s main
main
January 29, 2025 21:01 24s
pages build and deployment pages-build-deployment #371: by nkrusch
January 29, 2025 21:01 39s main
main
January 29, 2025 21:01 39s
Vote open Vote open #126: Scheduled
January 29, 2025 14:13 1m 47s main
main
January 29, 2025 14:13 1m 47s
-icfp23 Test changes #301: Commit 5e2018f pushed by nkrusch
January 28, 2025 02:30 20s main
main
January 28, 2025 02:30 20s
pages build and deployment pages-build-deployment #370: by nkrusch
January 28, 2025 02:30 42s main
main
January 28, 2025 02:30 42s
Embedding by Unembedding Notifications #139: Pull request #244 closed by phanukaev
January 24, 2025 19:53 24s paper-vote-2
paper-vote-2
January 24, 2025 19:53 24s
Embedding by Unembedding Random paper #277: Pull request #244 closed by phanukaev
January 24, 2025 19:53 3s paper-vote-2
paper-vote-2
January 24, 2025 19:53 3s
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
Merge pull request #244 from the-au-forml-lab/paper-vote-2 Test changes #300: Commit ab7217d pushed by phanukaev
January 24, 2025 19:53 23s main
main
January 24, 2025 19:53 23s
pages build and deployment pages-build-deployment #369: by phanukaev
January 24, 2025 19:53 39s main
main
January 24, 2025 19:53 39s
Example-Based Reasoning about the Realizability of Polymorphic Programs Test changes #299: Pull request #245 synchronize by nkrusch
January 24, 2025 17:19 14s paper-vote-3
paper-vote-3
January 24, 2025 17:19 14s
Embedding by Unembedding Test changes #298: Pull request #244 synchronize by nkrusch
January 24, 2025 17:19 14s paper-vote-2
paper-vote-2
January 24, 2025 17:19 14s
An Iris Instance for Verifying CompCert C Programs Test changes #297: Pull request #243 synchronize by nkrusch
January 24, 2025 17:18 20s paper-vote-1
paper-vote-1
January 24, 2025 17:18 20s
disconnect template Notifications #138: Pull request #246 closed by nkrusch
January 24, 2025 17:17 3s template
template
January 24, 2025 17:17 3s
disconnect template Random paper #276: Pull request #246 closed by nkrusch
January 24, 2025 17:17 3s template
template
January 24, 2025 17:17 3s
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