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

Release 1.0 Check the Agda files #276: Pull request #71 synchronize by pmbittner
August 28, 2024 13:15 2m 17s develop
develop
August 28, 2024 13:15 2m 17s
Merge pull request #72 from pmbittner/vatras-module Check the Agda files #275: Commit 8af34b0 pushed by pmbittner
August 28, 2024 13:14 2m 14s develop
develop
August 28, 2024 13:14 2m 14s
Move all modules into a Vatras module Check the Agda files #274: Pull request #72 synchronize by ibbem
August 28, 2024 13:12 2m 30s vatras-module
vatras-module
August 28, 2024 13:12 2m 30s
Release 1.0 Check the Agda files #273: Pull request #71 synchronize by pmbittner
August 28, 2024 13:04 2m 23s develop
develop
August 28, 2024 13:04 2m 23s
README: fix FST rows in proof table Check the Agda files #272: Commit 42b9bef pushed by pmbittner
August 28, 2024 13:04 2m 13s develop
develop
August 28, 2024 13:04 2m 13s
Release 1.0 Check the Agda files #271: Pull request #71 synchronize by pmbittner
August 28, 2024 12:55 2m 21s develop
develop
August 28, 2024 12:55 2m 21s
README: build status badge Check the Agda files #270: Commit 5f66d0e pushed by pmbittner
August 28, 2024 12:55 2m 12s develop
develop
August 28, 2024 12:55 2m 12s
Release 1.0 Check the Agda files #269: Pull request #71 synchronize by pmbittner
August 28, 2024 12:52 2m 23s develop
develop
August 28, 2024 12:52 2m 23s
README: remove "Note to the OOPSLA Artifact Reviewers" Check the Agda files #268: Commit ad55b6b pushed by pmbittner
August 28, 2024 12:52 2m 13s develop
develop
August 28, 2024 12:52 2m 13s
Release 1.0 Check the Agda files #267: Pull request #71 opened by pmbittner
August 28, 2024 11:01 6m 2s develop
develop
August 28, 2024 11:01 6m 2s
Merge pull request #70 from pmbittner/IndexedSet-equivalence-equivalence Check the Agda files #266: Commit 5612df7 pushed by pmbittner
August 26, 2024 10:34 2m 13s develop
develop
August 26, 2024 10:34 2m 13s
Embrace constructive logic to prove ≅→≅[] Check the Agda files #265: Pull request #70 synchronize by ibbem
August 26, 2024 09:46 2m 19s IndexedSet-equivalence-equivalence
IndexedSet-equivalence-equivalence
August 26, 2024 09:46 2m 19s
Embrace constructive logic to prove ≅→≅[] Check the Agda files #264: Pull request #70 synchronize by ibbem
August 26, 2024 09:37 2m 20s IndexedSet-equivalence-equivalence
IndexedSet-equivalence-equivalence
August 26, 2024 09:37 2m 20s
Merge pull request #69 from pmbittner/rename-VariantMap Check the Agda files #263: Commit 8c94dbe pushed by pmbittner
August 26, 2024 09:13 2m 18s develop
develop
August 26, 2024 09:13 2m 18s
Embrace constructive logic to prove ≅→≅[] Check the Agda files #262: Pull request #70 opened by ibbem
August 26, 2024 08:25 2m 14s IndexedSet-equivalence-equivalence
IndexedSet-equivalence-equivalence
August 26, 2024 08:25 2m 14s
Rename VariantMap to VariantGenerator Check the Agda files #261: Pull request #69 opened by ibbem
August 26, 2024 08:23 2m 17s rename-VariantMap
rename-VariantMap
August 26, 2024 08:23 2m 17s
Merge pull request #64 from pmbittner/find-inconsistencies-ci Check the Agda files #260: Commit 0e6e097 pushed by ibbem
August 26, 2024 08:20 6m 13s develop
develop
August 26, 2024 08:20 6m 13s
Merge pull request #64 from pmbittner/find-inconsistencies-ci Check the Agda files #259: Commit 0e6e097 pushed by pmbittner
August 2, 2024 11:55 6m 2s main
main
August 2, 2024 11:55 6m 2s
Integrate the find-inconsistency-sources script into CI Check the Agda files #258: Pull request #64 synchronize by ibbem
August 1, 2024 16:41 6m 11s find-inconsistencies-ci
find-inconsistencies-ci
August 1, 2024 16:41 6m 11s
Add the new Corollary 5.19. FST ⋡ CaO from the paper Check the Agda files #257: Commit 18e1965 pushed by ibbem
August 1, 2024 16:33 2m 13s main
main
August 1, 2024 16:33 2m 13s
README: fix proof/prove typos Check the Agda files #256: Commit e47396d pushed by pmbittner
July 31, 2024 07:33 6m 0s main
main
July 31, 2024 07:33 6m 0s
README: type fixes Check the Agda files #255: Commit ec6f0fb pushed by pmbittner
July 6, 2024 12:43 2m 15s main
main
July 6, 2024 12:43 2m 15s
README: hunt down yet another dead link Check the Agda files #254: Commit 4d58d20 pushed by pmbittner
July 5, 2024 12:21 2m 19s main
main
July 5, 2024 12:21 2m 19s
README: fix more broken links Check the Agda files #253: Commit cb8b25d pushed by pmbittner
July 5, 2024 12:19 2m 19s main
main
July 5, 2024 12:19 2m 19s
README: license badge Check the Agda files #252: Commit d921f5d pushed by pmbittner
July 5, 2024 12:10 2m 6s main
main
July 5, 2024 12:10 2m 6s