Skip to content

Actions: VariantSync/Vatras

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
297 workflow runs
297 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

README: fix clone URL Check the Agda files #284: Commit 1f7e09d pushed by pmbittner
August 29, 2024 16:26 2m 7s main
main
August 29, 2024 16:26 2m 7s
README: Update intro with ACM badges and new citation Check the Agda files #283: Commit 3a2fd53 pushed by pmbittner
August 29, 2024 14:35 2m 11s main
main
August 29, 2024 14:35 2m 11s
README: Update intro with ACM badges and new citation Check the Agda files #282: Commit b6cc868 pushed by pmbittner
August 29, 2024 14:34 2m 12s main
main
August 29, 2024 14:34 2m 12s
README: remove redundant empty line Check the Agda files #281: Commit ff36890 pushed by pmbittner
August 29, 2024 14:33 2m 20s main
main
August 29, 2024 14:33 2m 20s
README: remove redundant empty line Check the Agda files #280: Commit d18ba61 pushed by pmbittner
August 29, 2024 14:31 2m 24s main
main
August 29, 2024 14:31 2m 24s
Merge pull request #71 from pmbittner/develop Check the Agda files #279: Commit 8a8845a pushed by pmbittner
August 28, 2024 13:26 6m 1s main
main
August 28, 2024 13:26 6m 1s
Release 1.0 Check the Agda files #278: Pull request #71 synchronize by ibbem
August 28, 2024 13:20 2m 39s develop
develop
August 28, 2024 13:20 2m 39s
Remove obsolete --allow-unsolved-metas flag Check the Agda files #277: Commit 428cbcd pushed by ibbem
August 28, 2024 13:20 2m 28s develop
develop
August 28, 2024 13:20 2m 28s
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