Skip to content

Actions: AAU-Dat/P10-Curdleproofs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
210 workflow runs
210 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Resdisprot Qodana #80: Pull request #27 opened by Maltesius
May 29, 2025 08:42 43s resdisprot
resdisprot
May 29, 2025 08:42 43s
Setup GitHub repository Setup GitHub repository #16: by Maltesius
May 28, 2025 13:02 12s
May 28, 2025 13:02 12s
Merge pull request #26 from AAU-Dat/Related-work Compile Article PDF #25: Commit dfa96c4 pushed by Maltesius
May 27, 2025 10:30 3m 47s main
main
May 27, 2025 10:30 3m 47s
typo Qodana #79: Pull request #26 opened by Maltesius
May 27, 2025 10:30 43s Related-work
Related-work
May 27, 2025 10:30 43s
Merge pull request #24 from AAU-Dat/Related-work Compile Article PDF #24: Commit df3772c pushed by ironmand123
May 27, 2025 10:21 3m 50s main
main
May 27, 2025 10:21 3m 50s
Related work Qodana #78: Pull request #24 synchronize by ironmand123
May 27, 2025 10:21 39s Related-work
Related-work
May 27, 2025 10:21 39s
Related work Qodana #77: Pull request #24 synchronize by ironmand123
May 27, 2025 10:19 38s Related-work
Related-work
May 27, 2025 10:19 38s
Related work Qodana #76: Pull request #24 synchronize by ironmand123
May 27, 2025 10:19 42s Related-work
Related-work
May 27, 2025 10:19 42s
Related work Qodana #75: Pull request #24 synchronize by ironmand123
May 27, 2025 10:19 44s Related-work
Related-work
May 27, 2025 10:19 44s
Related work Qodana #74: Pull request #24 synchronize by ironmand123
May 27, 2025 10:19 39s Related-work
Related-work
May 27, 2025 10:19 39s
Related work Qodana #73: Pull request #24 synchronize by ironmand123
May 27, 2025 10:19 42s Related-work
Related-work
May 27, 2025 10:19 42s
Related work Qodana #72: Pull request #24 synchronize by ironmand123
May 27, 2025 10:18 43s Related-work
Related-work
May 27, 2025 10:18 43s
Merge pull request #25 from AAU-Dat/ipa-and-codecomments Compile Article PDF #23: Commit 4eb7d17 pushed by ironmand123
May 27, 2025 09:56 3m 13s main
main
May 27, 2025 09:56 3m 13s
Ipa and codecomments Qodana #71: Pull request #25 opened by Maltesius
May 27, 2025 09:51 40s ipa-and-codecomments
ipa-and-codecomments
May 27, 2025 09:51 40s
Setup GitHub repository Setup GitHub repository #15: by Maltesius
May 27, 2025 09:51 12s
May 27, 2025 09:51 12s
Related work Qodana #70: Pull request #24 opened by ironmand123
May 27, 2025 09:42 43s Related-work
Related-work
May 27, 2025 09:42 43s
Merge pull request #23 from AAU-Dat/proof-size Compile Article PDF #22: Commit 74c9a47 pushed by Maltesius
May 27, 2025 06:45 4m 27s main
main
May 27, 2025 06:45 4m 27s
Added subsubsection on the size of CAAUrdleproofs Qodana #69: Pull request #23 synchronize by Maltesius
May 27, 2025 06:45 39s proof-size
proof-size
May 27, 2025 06:45 39s
Added subsubsection on the size of CAAUrdleproofs Qodana #68: Pull request #23 synchronize by Maltesius
May 27, 2025 06:40 40s proof-size
proof-size
May 27, 2025 06:40 40s
Added subsubsection on the size of CAAUrdleproofs Qodana #67: Pull request #23 synchronize by Maltesius
May 27, 2025 06:38 41s proof-size
proof-size
May 27, 2025 06:38 41s
github_actions in /. - Update #1022305237 Dependabot Updates #14: by dependabot bot
May 26, 2025 20:27 33s main
main
May 26, 2025 20:27 33s
Added subsubsection on the size of CAAUrdleproofs Qodana #66: Pull request #23 synchronize by Maltesius
May 26, 2025 12:55 41s proof-size
proof-size
May 26, 2025 12:55 41s
Added subsubsection on the size of CAAUrdleproofs Qodana #65: Pull request #23 opened by Maltesius
May 26, 2025 12:54 39s proof-size
proof-size
May 26, 2025 12:54 39s
Setup GitHub repository Setup GitHub repository #14: by Maltesius
May 26, 2025 12:53 10s
May 26, 2025 12:53 10s
Merge pull request #22 from AAU-Dat/Related-work Compile Article PDF #21: Commit 4c7ae4d pushed by Maltesius
May 26, 2025 09:30 3m 24s main
main
May 26, 2025 09:30 3m 24s