Skip to content

Actions: VariantSync/Vatras

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
195 workflow runs
195 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Get rid of --large-indicies using higher levels Check the Agda files #126: Pull request #33 opened by ibbem
May 13, 2024 09:33 3m 53s no-large-indicies-by-level-generalization
no-large-indicies-by-level-generalization
May 13, 2024 09:33 3m 53s
Merge pull request #32 from pmbittner/misc-improvements Check the Agda files #125: Commit adc7902 pushed by ibbem
April 22, 2024 16:54 3m 51s develop
develop
April 22, 2024 16:54 3m 51s