Skip to content

Actions: VariantSync/Vatras

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
47 workflow runs
47 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
README: consistent publication headers Check the Agda files #406: Commit 9c2267f pushed by pmbittner
2m 43s main
main
2m 43s
README: consistent spelling of my name Check the Agda files #405: Commit 5e87587 pushed by pmbittner
2m 48s main
main
2m 48s
Merge pull request #100 from VariantSync/develop Check the Agda files #404: Commit 46aae2b pushed by pmbittner
3m 57s main
main
3m 57s
Release 2.3 Check the Agda files #403: Pull request #100 synchronize by pmbittner
3m 50s develop
develop
3m 50s
increase version number to 2.3 Check the Agda files #402: Commit 7b2c185 pushed by pmbittner
3m 49s develop
develop
3m 49s
Release 2.3 Check the Agda files #401: Pull request #100 synchronize by pmbittner
2m 46s develop
develop
2m 46s
Merge pull request #98 from VariantSync/merge-thesis_bm-to-main Check the Agda files #400: Commit db1b95b pushed by pmbittner
2m 56s develop
develop
2m 56s
Formalization of Succinctness Check the Agda files #399: Pull request #98 synchronize by ibbem
2m 48s merge-thesis_bm-to-main
merge-thesis_bm-to-main
2m 48s
Formalization of Succinctness Check the Agda files #398: Pull request #98 synchronize by ibbem
2m 46s merge-thesis_bm-to-main
merge-thesis_bm-to-main
2m 46s
Formalization of Succinctness Check the Agda files #397: Pull request #98 synchronize by ibbem
2m 50s merge-thesis_bm-to-main
merge-thesis_bm-to-main
2m 50s
Release 2.3 Check the Agda files #396: Pull request #100 opened by pmbittner
2m 57s develop
develop
2m 57s
Merge pull request #99 from VariantSync/readme-update Check the Agda files #395: Commit 5a05d91 pushed by pmbittner
2m 50s develop
develop
2m 50s
Formalization of Succinctness Check the Agda files #394: Pull request #98 synchronize by ibbem
2m 47s merge-thesis_bm-to-main
merge-thesis_bm-to-main
2m 47s
Formalization of Succinctness Check the Agda files #393: Pull request #98 synchronize by ibbem
3m 40s merge-thesis_bm-to-main
merge-thesis_bm-to-main
3m 40s
README: update + add PhD thesis Check the Agda files #392: Pull request #99 synchronize by pmbittner
2m 6s readme-update
readme-update
2m 6s
README: update + add PhD thesis Check the Agda files #391: Pull request #99 synchronize by pmbittner
2m 8s readme-update
readme-update
2m 8s
README: update + add PhD thesis Check the Agda files #390: Pull request #99 opened by pmbittner
2m 58s readme-update
readme-update
2m 58s
Formalization of Succinctness Check the Agda files #389: Pull request #98 opened by ibbem
3m 46s merge-thesis_bm-to-main
merge-thesis_bm-to-main
3m 46s
Merge pull request #97 from VariantSync/develop Check the Agda files #388: Commit c2f4dd8 pushed by pmbittner
2m 59s main
main
2m 59s
Release for #96 Check the Agda files #387: Pull request #97 opened by pmbittner
3m 2s develop
develop
3m 2s
Merge pull request #96 from VariantSync/deps-update Check the Agda files #386: Commit 842f2d7 pushed by ibbem
3m 7s develop
develop
3m 7s
Upgrade to Agda 2.8 and Agda STL 2.3 Check the Agda files #385: Pull request #96 synchronize by ibbem
1m 52s deps-update
deps-update
1m 52s
Upgrade to Agda 2.8 and Agda STL 2.3 Check the Agda files #384: Pull request #96 synchronize by ibbem
2m 14s deps-update
deps-update
2m 14s
Upgrade to Agda 2.8 and Agda STL 2.3 Check the Agda files #383: Pull request #96 synchronize by pmbittner
2m 14s deps-update
deps-update
2m 14s
Upgrade to Agda 2.8 and Agda STL 2.3 Check the Agda files #382: Pull request #96 synchronize by pmbittner
2m 19s deps-update
deps-update
2m 19s