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

license Check the Agda files #251: Commit 78f6d11 pushed by pmbittner
July 5, 2024 12:09 2m 37s main
main
July 5, 2024 12:09 2m 37s
fix broken links Check the Agda files #250: Commit fa78543 pushed by pmbittner
July 5, 2024 12:06 2m 12s main
main
July 5, 2024 12:06 2m 12s
title fixup Check the Agda files #249: Commit 8dd2ee9 pushed by pmbittner
July 5, 2024 11:54 2m 23s main
main
July 5, 2024 11:54 2m 23s
Merge branch 'develop' Check the Agda files #248: Commit 8ef845f pushed by pmbittner
July 5, 2024 11:54 2m 2s main
main
July 5, 2024 11:54 2m 2s
Merge pull request #60 from pmbittner/explain-vatras Check the Agda files #247: Commit a8ed444 pushed by pmbittner
July 5, 2024 11:53 2m 15s develop
develop
July 5, 2024 11:53 2m 15s
Merge pull request #68 from pmbittner/develop Check the Agda files #246: Commit 30479ba pushed by pmbittner
July 5, 2024 11:52 6m 1s main
main
July 5, 2024 11:52 6m 1s
New Release for OOPSLA Check the Agda files #245: Pull request #68 synchronize by pmbittner
July 5, 2024 11:51 2m 20s develop
develop
July 5, 2024 11:51 2m 20s
README: simplify kick-the-tires, rec. alts per OS Check the Agda files #244: Commit 9d04ec6 pushed by pmbittner
July 5, 2024 11:51 2m 10s develop
develop
July 5, 2024 11:51 2m 10s
New Release for OOPSLA Check the Agda files #243: Pull request #68 synchronize by pmbittner
July 5, 2024 11:39 3m 27s develop
develop
July 5, 2024 11:39 3m 27s
Merge pull request #59 from pmbittner/librarian Check the Agda files #242: Commit 4572c87 pushed by pmbittner
July 5, 2024 11:39 2m 12s develop
develop
July 5, 2024 11:39 2m 12s
New Release for OOPSLA Check the Agda files #241: Pull request #68 opened by pmbittner
July 5, 2024 11:38 6m 7s develop
develop
July 5, 2024 11:38 6m 7s
Remaining documentation Check the Agda files #240: Pull request #59 synchronize by pmbittner
July 5, 2024 11:37 2m 11s librarian
librarian
July 5, 2024 11:37 2m 11s
Remaining documentation Check the Agda files #239: Pull request #59 synchronize by pmbittner
July 5, 2024 11:33 2m 8s librarian
librarian
July 5, 2024 11:33 2m 8s
adding mention of testing with docker on macOS Check the Agda files #238: Commit 273672d pushed by leopoldomt
July 5, 2024 11:05 2m 21s develop
develop
July 5, 2024 11:05 2m 21s
Remaining documentation Check the Agda files #237: Pull request #59 synchronize by pmbittner
July 5, 2024 11:01 2m 20s librarian
librarian
July 5, 2024 11:01 2m 20s
Remaining documentation Check the Agda files #236: Pull request #59 synchronize by pmbittner
July 5, 2024 09:19 2m 16s librarian
librarian
July 5, 2024 09:19 2m 16s
Merge pull request #67 from pmbittner/last-2CC-hole Check the Agda files #235: Commit a2c1178 pushed by pmbittner
July 5, 2024 08:14 2m 12s develop
develop
July 5, 2024 08:14 2m 12s
Fill last 2CC hole Check the Agda files #234: Pull request #67 synchronize by ibbem
July 4, 2024 22:36 2m 10s last-2CC-hole
last-2CC-hole
July 4, 2024 22:36 2m 10s
Fill last 2CC hole Check the Agda files #233: Pull request #67 opened by ibbem
July 4, 2024 22:26 2m 9s last-2CC-hole
last-2CC-hole
July 4, 2024 22:26 2m 9s
Integrate the find-inconsistency-sources script into CI Check the Agda files #232: Pull request #64 synchronize by ibbem
July 4, 2024 22:23 2m 22s find-inconsistencies-ci
find-inconsistencies-ci
July 4, 2024 22:23 2m 22s
Remaining documentation Check the Agda files #231: Pull request #59 synchronize by pmbittner
July 4, 2024 21:57 2m 6s librarian
librarian
July 4, 2024 21:57 2m 6s
Integrate the find-inconsistency-sources script into CI Check the Agda files #230: Pull request #64 opened by ibbem
July 4, 2024 21:31 6m 2s find-inconsistencies-ci
find-inconsistencies-ci
July 4, 2024 21:31 6m 2s
Remaining documentation Check the Agda files #229: Pull request #59 synchronize by pmbittner
July 4, 2024 21:30 2m 9s librarian
librarian
July 4, 2024 21:30 2m 9s
Remaining documentation Check the Agda files #228: Pull request #59 synchronize by pmbittner
July 4, 2024 20:08 2m 32s librarian
librarian
July 4, 2024 20:08 2m 32s
Merge pull request #63 from pmbittner/2CC-hole Check the Agda files #227: Commit 0a8643f pushed by pmbittner
July 4, 2024 20:08 2m 8s develop
develop
July 4, 2024 20:08 2m 8s