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

emojis for roundtrip sandwich Check the Agda files #301: Pull request #56 synchronize by pmbittner
December 9, 2024 09:53 2m 1s emojis
emojis
December 9, 2024 09:53 2m 1s
Merge pull request #79 from VariantSync/readme-updates Check the Agda files #300: Commit 3ef8441 pushed by pmbittner
December 9, 2024 09:51 5m 43s develop
develop
December 9, 2024 09:51 5m 43s
Merge pull request #79 from VariantSync/readme-updates Check the Agda files #299: Commit 3ef8441 pushed by pmbittner
November 28, 2024 12:24 2m 5s main
main
November 28, 2024 12:24 2m 5s
README: update and refine OOPSLA links Check the Agda files #298: Pull request #79 opened by pmbittner
November 28, 2024 12:22 1m 56s readme-updates
readme-updates
November 28, 2024 12:22 1m 56s
feat: hints at exporting ADT tikz from OOPSLA talk Check the Agda files #297: Commit ea8736d pushed by pmbittner
November 28, 2024 11:46 2m 2s main
main
November 28, 2024 11:46 2m 2s
feat: hints at exporting ADT tikz from OOPSLA talk Check the Agda files #296: Commit 53b8b18 pushed by pmbittner
November 28, 2024 11:44 2m 6s main
main
November 28, 2024 11:44 2m 6s
feat: check if rose tree has a particular atom Check the Agda files #295: Commit ee87406 pushed by pmbittner
November 28, 2024 11:26 2m 1s main
main
November 28, 2024 11:26 2m 1s
Merge pull request #78 from VariantSync/variant-map-to-variant-genera… Check the Agda files #294: Commit f3b696e pushed by pmbittner
November 26, 2024 09:37 5m 55s main
main
November 26, 2024 09:37 5m 55s
Rename "variant map" to "variant generator" in the documentation Check the Agda files #293: Pull request #78 opened by ibbem
November 15, 2024 08:50 5m 41s variant-map-to-variant-generator-documentation
variant-map-to-variant-generator-documentation
November 15, 2024 08:50 5m 41s
README: revise to focus more on visitors + less on reviewers Check the Agda files #292: Commit 4f0a527 pushed by pmbittner
October 16, 2024 15:00 2m 4s main
main
October 16, 2024 15:00 2m 4s
fix: typos in C_Proofs Check the Agda files #291: Commit 5321e01 pushed by pmbittner
October 14, 2024 09:07 5m 53s main
main
October 14, 2024 09:07 5m 53s
Merge pull request #75 from VariantSync/2CC-indifferent-elimination Check the Agda files #290: Commit 81a5256 pushed by pmbittner
September 26, 2024 12:20 1m 59s main
main
September 26, 2024 12:20 1m 59s
2CC Idempotency Elimination Check the Agda files #289: Pull request #75 synchronize by ibbem
September 26, 2024 11:58 1m 52s 2CC-indifferent-elimination
2CC-indifferent-elimination
September 26, 2024 11:58 1m 52s
2CC Idempotency Elimination Check the Agda files #288: Pull request #75 opened by ibbem
September 26, 2024 11:28 2m 4s 2CC-indifferent-elimination
2CC-indifferent-elimination
September 26, 2024 11:28 2m 4s
experiment to export CCC examples as TikZ ADTs Check the Agda files #287: Commit 7aa169b pushed by pmbittner
September 25, 2024 16:03 1m 54s main
main
September 25, 2024 16:03 1m 54s
conclude incompleteness/unsoundess from less-expressive Check the Agda files #286: Commit 12276ae pushed by pmbittner
September 25, 2024 09:53 2m 0s main
main
September 25, 2024 09:53 2m 0s
add artifact doi Check the Agda files #285: Commit 65b2411 pushed by pmbittner
September 25, 2024 09:21 5m 49s main
main
September 25, 2024 09:21 5m 49s
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