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

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
Misc cleanups and improvements Check the Agda files #124: Pull request #32 synchronize by ibbem
April 19, 2024 17:08 2m 11s misc-improvements
misc-improvements
April 19, 2024 17:08 2m 11s
Misc cleanups and improvements Check the Agda files #123: Pull request #32 synchronize by ibbem
April 19, 2024 08:22 2m 17s misc-improvements
misc-improvements
April 19, 2024 08:22 2m 17s
Misc cleanups and improvements Check the Agda files #122: Pull request #32 opened by ibbem
April 17, 2024 22:20 4m 7s misc-improvements
misc-improvements
April 17, 2024 22:20 4m 7s
Merge pull request #31 from pmbittner/develop Check the Agda files #121: Commit 07807f5 pushed by pmbittner
April 6, 2024 10:57 12m 31s main
main
April 6, 2024 10:57 12m 31s
Update Main Check the Agda files #120: Pull request #31 opened by pmbittner
April 6, 2024 10:57 12m 33s develop
develop
April 6, 2024 10:57 12m 33s
Merge pull request #30 from pmbittner/fst-LanguageMap Check the Agda files #119: Commit bcb872e pushed by pmbittner
April 6, 2024 09:55 2m 28s develop
develop
April 6, 2024 09:55 2m 28s
Add FST to Lang.All and Translate.LanguageMap Check the Agda files #118: Pull request #30 opened by ibbem
April 6, 2024 09:51 2m 17s fst-LanguageMap
fst-LanguageMap
April 6, 2024 09:51 2m 17s
Merge pull request #29 from pmbittner/comma-at-end Check the Agda files #117: Commit 326a554 pushed by pmbittner
April 6, 2024 09:42 2m 11s develop
develop
April 6, 2024 09:42 2m 11s
Fix and add comma placement for all pretty printed expressions Check the Agda files #116: Pull request #29 synchronize by pmbittner
April 6, 2024 09:39 2m 16s comma-at-end
comma-at-end
April 6, 2024 09:39 2m 16s
Merge pull request #28 from pmbittner/rename-2adt-to-adt Check the Agda files #115: Commit a10af35 pushed by pmbittner
April 6, 2024 09:35 2m 20s develop
develop
April 6, 2024 09:35 2m 20s
Fix and add comma placement for all pretty printed expressions Check the Agda files #114: Pull request #29 opened by ibbem
April 6, 2024 09:34 2m 18s comma-at-end
comma-at-end
April 6, 2024 09:34 2m 18s
Rename 2adt to adt Check the Agda files #113: Pull request #28 opened by ibbem
April 6, 2024 09:14 12m 15s rename-2adt-to-adt
rename-2adt-to-adt
April 6, 2024 09:14 12m 15s
readme updates Check the Agda files #112: Commit edda84e pushed by pmbittner
April 6, 2024 07:13 2m 15s develop
develop
April 6, 2024 07:13 2m 15s
Merge pull request #27 from pmbittner/round-trip-experiment Check the Agda files #111: Commit df65647 pushed by pmbittner
April 6, 2024 07:06 2m 21s develop
develop
April 6, 2024 07:06 2m 21s
Round trip experiment Check the Agda files #110: Pull request #27 synchronize by pmbittner
April 6, 2024 07:03 2m 21s round-trip-experiment
round-trip-experiment
April 6, 2024 07:03 2m 21s
Round trip experiment Check the Agda files #109: Pull request #27 opened by ibbem
April 6, 2024 00:52 2m 15s round-trip-experiment
round-trip-experiment
April 6, 2024 00:52 2m 15s
Enhance Nix build instructions Check the Agda files #108: Commit 79003c9 pushed by ibbem
April 5, 2024 22:39 2m 12s develop
develop
April 5, 2024 22:39 2m 12s
Fix nix-build Check the Agda files #107: Commit 8bb2647 pushed by ibbem
April 5, 2024 22:10 12m 57s develop
develop
April 5, 2024 22:10 12m 57s
fixup: check-anonymity.sh Check the Agda files #106: Commit a1da77f pushed by pmbittner
April 5, 2024 21:25 2m 23s develop
develop
April 5, 2024 21:25 2m 23s
more regexes to check for anonimity Check the Agda files #105: Commit e794fb6 pushed by pmbittner
April 5, 2024 21:17 2m 7s develop
develop
April 5, 2024 21:17 2m 7s
readme updates Check the Agda files #104: Commit f202ce3 pushed by pmbittner
April 5, 2024 21:15 2m 15s develop
develop
April 5, 2024 21:15 2m 15s
Merge pull request #26 from pmbittner/feature-algebra Check the Agda files #103: Commit 520d042 pushed by pmbittner
April 5, 2024 20:47 2m 12s develop
develop
April 5, 2024 20:47 2m 12s
Feature Algebra and FSTs Check the Agda files #102: Pull request #26 synchronize by pmbittner
April 5, 2024 20:43 2m 18s feature-algebra
feature-algebra
April 5, 2024 20:43 2m 18s