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

Merge pull request #37 from pmbittner/FST-assoc Check the Agda files #151: Commit 7a8d3f6 pushed by ibbem
May 29, 2024 15:44 2m 20s develop
develop
May 29, 2024 15:44 2m 20s
Prove FST associativity and distant idempotence Check the Agda files #150: Pull request #37 synchronize by ibbem
May 29, 2024 15:39 2m 23s FST-assoc
FST-assoc
May 29, 2024 15:39 2m 23s
Prove FST associativity and distant idempotence Check the Agda files #149: Pull request #37 synchronize by pmbittner
May 28, 2024 08:15 2m 21s FST-assoc
FST-assoc
May 28, 2024 08:15 2m 21s
Prove FST associativity and distant idempotence Check the Agda files #148: Pull request #37 synchronize by pmbittner
May 28, 2024 08:08 2m 23s FST-assoc
FST-assoc
May 28, 2024 08:08 2m 23s
Prove FST associativity and distant idempotence Check the Agda files #147: Pull request #37 opened by ibbem
May 27, 2024 21:21 2m 25s FST-assoc
FST-assoc
May 27, 2024 21:21 2m 25s
Merge pull request #35 from pmbittner/translate-from-FST Check the Agda files #146: Commit 7d75889 pushed by ibbem
May 27, 2024 21:08 2m 17s develop
develop
May 27, 2024 21:08 2m 17s
Translate FST to VariantList and disprove translation to OC Check the Agda files #145: Pull request #35 synchronize by ibbem
May 27, 2024 21:02 2m 17s translate-from-FST
translate-from-FST
May 27, 2024 21:02 2m 17s
Translate FST to VariantList and disprove translation to OC Check the Agda files #144: Pull request #35 synchronize by ibbem
May 27, 2024 11:12 2m 17s translate-from-FST
translate-from-FST
May 27, 2024 11:12 2m 17s
Translate FST to VariantList and disprove translation to OC Check the Agda files #143: Pull request #35 synchronize by pmbittner
May 27, 2024 10:20 2m 19s translate-from-FST
translate-from-FST
May 27, 2024 10:20 2m 19s
Translate FST to VariantList and disprove translation to OC Check the Agda files #142: Pull request #35 synchronize by ibbem
May 24, 2024 14:56 2m 19s translate-from-FST
translate-from-FST
May 24, 2024 14:56 2m 19s
Merge pull request #36 from pmbittner/update-agda-version-documentation Check the Agda files #141: Commit cf1dd5b pushed by ibbem
May 24, 2024 14:54 2m 13s develop
develop
May 24, 2024 14:54 2m 13s
Translate FST to VariantList and disprove translation to OC Check the Agda files #140: Pull request #35 synchronize by ibbem
May 24, 2024 14:52 2m 17s translate-from-FST
translate-from-FST
May 24, 2024 14:52 2m 17s
Translate FST to VariantList and disprove translation to OC Check the Agda files #139: Pull request #35 synchronize by ibbem
May 24, 2024 13:18 2m 26s translate-from-FST
translate-from-FST
May 24, 2024 13:18 2m 26s
Translate FST to VariantList and disprove translation to OC Check the Agda files #138: Pull request #35 synchronize by ibbem
May 24, 2024 13:05 2m 20s translate-from-FST
translate-from-FST
May 24, 2024 13:05 2m 20s
Translate FST to VariantList and disprove translation to OC Check the Agda files #137: Pull request #35 synchronize by pmbittner
May 23, 2024 08:18 2m 18s translate-from-FST
translate-from-FST
May 23, 2024 08:18 2m 18s
endswith-refl, endswith-trans Check the Agda files #136: Commit b7b6b2d pushed by pmbittner
May 23, 2024 08:16 12m 40s main
main
May 23, 2024 08:16 12m 40s
Translate FST to VariantList and disprove translation to OC Check the Agda files #135: Pull request #35 synchronize by ibbem
May 20, 2024 21:55 2m 16s translate-from-FST
translate-from-FST
May 20, 2024 21:55 2m 16s
Update the Agda version documentation Check the Agda files #134: Pull request #36 opened by ibbem
May 20, 2024 21:45 2m 21s update-agda-version-documentation
update-agda-version-documentation
May 20, 2024 21:45 2m 21s
Translate FST to VariantList and disprove translation to OC Check the Agda files #133: Pull request #35 opened by ibbem
May 20, 2024 21:44 2m 14s translate-from-FST
translate-from-FST
May 20, 2024 21:44 2m 14s
Merge pull request #33 from pmbittner/no-large-indicies-by-level-gene… Check the Agda files #132: Commit 8087550 pushed by ibbem
May 20, 2024 21:18 2m 11s develop
develop
May 20, 2024 21:18 2m 11s
Get rid of --large-indicies using higher levels Check the Agda files #131: Pull request #33 synchronize by ibbem
May 20, 2024 21:12 2m 15s no-large-indicies-by-level-generalization
no-large-indicies-by-level-generalization
May 20, 2024 21:12 2m 15s
Get rid of --large-indicies using higher levels Check the Agda files #130: Pull request #33 synchronize by ibbem
May 20, 2024 21:01 2m 13s no-large-indicies-by-level-generalization
no-large-indicies-by-level-generalization
May 20, 2024 21:01 2m 13s
Merge pull request #34 from pmbittner/FST-is-incomplete Check the Agda files #129: Commit 3661762 pushed by pmbittner
May 14, 2024 05:58 3m 50s develop
develop
May 14, 2024 05:58 3m 50s
Proof that Fst is incomplete Check the Agda files #128: Pull request #34 synchronize by ibbem
May 13, 2024 21:53 2m 18s FST-is-incomplete
FST-is-incomplete
May 13, 2024 21:53 2m 18s
Proof that Fst is incomplete Check the Agda files #127: Pull request #34 opened by ibbem
May 13, 2024 18:05 3m 59s FST-is-incomplete
FST-is-incomplete
May 13, 2024 18:05 3m 59s