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

Random paper Random paper #256: Scheduled
November 15, 2024 14:16 4s main
main
November 15, 2024 14:16 4s
Vote open Vote open #103: Scheduled
November 13, 2024 14:13 4s main
main
November 13, 2024 14:13 4s
Random paper Random paper #255: Scheduled
November 8, 2024 14:14 3s main
main
November 8, 2024 14:14 3s
Vote open Vote open #102: Scheduled
November 6, 2024 14:13 3s main
main
November 6, 2024 14:13 3s
Random paper Random paper #254: Scheduled
November 1, 2024 14:15 3s main
main
November 1, 2024 14:15 3s
Vote open Vote open #101: Scheduled
October 30, 2024 14:14 3s main
main
October 30, 2024 14:14 3s
Parikh’s Theorem Made Symbolic Vote close #65: Pull request #219 closed by phanukaev
October 25, 2024 19:11 19s paper-vote-3
paper-vote-3
October 25, 2024 19:11 19s
Parikh’s Theorem Made Symbolic Random paper #253: Pull request #219 closed by phanukaev
October 25, 2024 19:11 2s paper-vote-3
paper-vote-3
October 25, 2024 19:11 2s
Parikh’s Theorem Made Symbolic Notifications #131: Pull request #219 closed by phanukaev
October 25, 2024 19:11 20s paper-vote-3
paper-vote-3
October 25, 2024 19:11 20s
Merge pull request #219 from the-au-forml-lab/paper-vote-3 Test changes #254: Commit 3b8aee1 pushed by phanukaev
October 25, 2024 19:11 15s main
main
October 25, 2024 19:11 15s
pages build and deployment pages-build-deployment #331: by phanukaev
October 25, 2024 19:11 43s
October 25, 2024 19:11 43s
Random paper Random paper #252: Scheduled
October 25, 2024 14:15 3s main
main
October 25, 2024 14:15 3s
Vote open Vote open #100: Scheduled
October 23, 2024 14:14 1m 58s main
main
October 23, 2024 14:14 1m 58s
Update index.md Test changes #253: Commit 3c472b0 pushed by nkrusch
October 18, 2024 23:21 14s main
main
October 18, 2024 23:21 14s
pages build and deployment pages-build-deployment #330: by nkrusch
October 18, 2024 23:21 54s
October 18, 2024 23:21 54s
Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory Random paper #251: Pull request #215 closed by phanukaev
October 18, 2024 19:03 2s paper-vote-4
paper-vote-4
October 18, 2024 19:03 2s
Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory Notifications #130: Pull request #215 closed by phanukaev
October 18, 2024 19:03 17s paper-vote-4
paper-vote-4
October 18, 2024 19:03 17s
Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory Vote close #64: Pull request #215 closed by phanukaev
October 18, 2024 19:03 18s paper-vote-4
paper-vote-4
October 18, 2024 19:03 18s
Merge pull request #215 from the-au-forml-lab/paper-vote-4 Test changes #252: Commit 8b945d5 pushed by phanukaev
October 18, 2024 19:03 15s main
main
October 18, 2024 19:03 15s
pages build and deployment pages-build-deployment #329: by phanukaev
October 18, 2024 19:03 48s
October 18, 2024 19:03 48s
Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory Test changes #251: Pull request #215 synchronize by phanukaev
October 18, 2024 19:03 18s paper-vote-4
paper-vote-4
October 18, 2024 19:03 18s
Random paper Random paper #250: Scheduled
October 18, 2024 14:15 3s main
main
October 18, 2024 14:15 3s
Vote open Vote open #99: Scheduled
October 16, 2024 14:13 4s main
main
October 16, 2024 14:13 4s
update schedule Test changes #250: Commit 0e47417 pushed by nkrusch
October 11, 2024 18:17 15s main
main
October 11, 2024 18:17 15s
pages build and deployment pages-build-deployment #328: by nkrusch
October 11, 2024 18:17 53s
October 11, 2024 18:17 53s