Skip to content

Actions: VariantSync/Vatras

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
314 workflow runs
314 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remaining documentation Check the Agda files #226: Pull request #59 synchronize by pmbittner
July 4, 2024 20:06 2m 11s librarian
librarian
July 4, 2024 20:06 2m 11s
Fill a missing hole in 2CC Check the Agda files #225: Pull request #63 opened by ibbem
July 4, 2024 19:59 2m 8s 2CC-hole
2CC-hole
July 4, 2024 19:59 2m 8s
Merge pull request #62 from pmbittner/find-inconsistencies Check the Agda files #224: Commit 9c1e842 pushed by pmbittner
July 4, 2024 18:43 2m 19s develop
develop
July 4, 2024 18:43 2m 19s
Create a script for finding inconsistencies Check the Agda files #223: Pull request #62 opened by ibbem
July 4, 2024 15:24 2m 13s find-inconsistencies
find-inconsistencies
July 4, 2024 15:24 2m 13s
Remaining documentation Check the Agda files #222: Pull request #59 synchronize by ibbem
July 4, 2024 13:45 2m 20s librarian
librarian
July 4, 2024 13:45 2m 20s
Librarian translations Check the Agda files #221: Pull request #61 synchronize by ibbem
July 4, 2024 13:39 2m 16s librarian-translations
librarian-translations
July 4, 2024 13:39 2m 16s
Librarian translations Check the Agda files #220: Pull request #61 opened by ibbem
July 4, 2024 13:07 6m 8s librarian-translations
librarian-translations
July 4, 2024 13:07 6m 8s
Merge pull request #55 from pmbittner/sized-warning Check the Agda files #219: Commit 13a249a pushed by pmbittner
July 4, 2024 10:11 2m 9s develop
develop
July 4, 2024 10:11 2m 9s
Sized warning Check the Agda files #218: Pull request #55 synchronize by pmbittner
July 3, 2024 22:15 2m 11s sized-warning
sized-warning
July 3, 2024 22:15 2m 11s
README.pdf: Add missing fonts Check the Agda files #217: Commit ff40929 pushed by ibbem
July 3, 2024 22:11 5m 55s develop
develop
July 3, 2024 22:11 5m 55s
Explain the name Vatras Check the Agda files #216: Pull request #60 opened by pmbittner
July 3, 2024 22:03 5m 57s explain-vatras
explain-vatras
July 3, 2024 22:03 5m 57s
README.html: Don't restrict page width Check the Agda files #215: Commit e9e6b55 pushed by ibbem
July 3, 2024 21:53 6m 6s develop
develop
July 3, 2024 21:53 6m 6s
README: Remove TODOs not relevant for the artifact submission Check the Agda files #214: Commit a8b86e7 pushed by ibbem
July 3, 2024 21:32 2m 16s develop
develop
July 3, 2024 21:32 2m 16s
Remaining documentation Check the Agda files #213: Pull request #59 opened by pmbittner
July 3, 2024 21:29 6m 1s librarian
librarian
July 3, 2024 21:29 6m 1s
rename 𝕂 to ℂ Check the Agda files #212: Commit 29c67ba pushed by pmbittner
July 3, 2024 21:28 2m 5s develop
develop
July 3, 2024 21:28 2m 5s
delete deprated construct meta definition Check the Agda files #211: Commit 478dd88 pushed by pmbittner
July 3, 2024 21:25 2m 11s develop
develop
July 3, 2024 21:25 2m 11s
Merge pull request #58 from pmbittner/generate-pdf Check the Agda files #210: Commit 5eb4993 pushed by pmbittner
July 3, 2024 21:23 6m 10s develop
develop
July 3, 2024 21:23 6m 10s
Sized warning Check the Agda files #209: Pull request #55 synchronize by ibbem
July 3, 2024 20:20 2m 18s sized-warning
sized-warning
July 3, 2024 20:20 2m 18s
Generate pdf Check the Agda files #208: Pull request #58 opened by ibbem
July 3, 2024 20:02 6m 35s generate-pdf
generate-pdf
July 3, 2024 20:02 6m 35s
Merge pull request #43 from pmbittner/oopsla-overview Check the Agda files #207: Commit a5638c9 pushed by pmbittner
July 3, 2024 13:26 3m 56s develop
develop
July 3, 2024 13:26 3m 56s
Artifact Overview for OOPSLA Check the Agda files #206: Pull request #43 synchronize by pmbittner
July 3, 2024 13:00 2m 11s oopsla-overview
oopsla-overview
July 3, 2024 13:00 2m 11s
OOPSLA Claims Check the Agda files #205: Pull request #57 synchronize by pmbittner
July 3, 2024 13:00 2m 13s oopsla-claims
oopsla-claims
July 3, 2024 13:00 2m 13s
OOPSLA Claims Check the Agda files #204: Pull request #57 synchronize by pmbittner
July 3, 2024 12:57 2m 23s oopsla-claims
oopsla-claims
July 3, 2024 12:57 2m 23s
OOPSLA Claims Check the Agda files #203: Pull request #57 synchronize by pmbittner
July 3, 2024 12:55 2m 18s oopsla-claims
oopsla-claims
July 3, 2024 12:55 2m 18s
OOPSLA Claims Check the Agda files #202: Pull request #57 synchronize by AlexanderSchultheiss
July 3, 2024 12:45 2m 10s oopsla-claims
oopsla-claims
July 3, 2024 12:45 2m 10s