Skip to content

Actions: jvanbruegge/binder_datatypes

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
499 workflow runs
499 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix extra whitespace in corecursor (#113) Build thys #645: Commit ad5f48b pushed by jvanbruegge
16m 42s master
master
16m 42s
Build thys in Isabelle Devel Build thys in Isabelle Devel #13: Manually run by jvanbruegge
29m 32s corec-antiquotations
corec-antiquotations
29m 32s
Fix extra whitespace in corecursor Build thys #644: Pull request #113 synchronize by jvanbruegge
16m 33s corec-antiquotations
corec-antiquotations
16m 33s
Build thys in Isabelle Devel Build thys in Isabelle Devel #12: Manually run by jvanbruegge
14m 42s corec-antiquotations
corec-antiquotations
14m 42s
Fix extra whitespace in corecursor Build thys #643: Pull request #113 opened by jvanbruegge
16m 13s corec-antiquotations
corec-antiquotations
16m 13s
Build thys in Isabelle Devel Build thys in Isabelle Devel #11: Manually run by jvanbruegge
14m 40s master
master
14m 40s
Automate the corecursor (#97) Build thys #642: Commit fa6a824 pushed by jvanbruegge
16m 6s master
master
16m 6s
Automate the corecursor Build thys #641: Pull request #97 synchronize by jvanbruegge
15m 59s automated-corecursor
automated-corecursor
15m 59s
Automate the corecursor Build thys #640: Pull request #97 synchronize by jvanbruegge
16m 21s automated-corecursor
automated-corecursor
16m 21s
Automate the corecursor Build thys #639: Pull request #97 synchronize by jvanbruegge
16m 27s automated-corecursor
automated-corecursor
16m 27s
Automate the corecursor Build thys #638: Pull request #97 ready_for_review by jvanbruegge
5m 40s automated-corecursor
automated-corecursor
5m 40s
Automate the corecursor Build thys #637: Pull request #97 synchronize by jvanbruegge
1s automated-corecursor
automated-corecursor
1s
Automate the corecursor Build thys #636: Pull request #97 synchronize by ozkutuk
1s automated-corecursor
automated-corecursor
1s
Add BMV monads Build thys #635: Pull request #60 synchronize by jvanbruegge
6h 0m 7s bmv_monads
bmv_monads
6h 0m 7s
Remove old test axiomatization of bound (#112) Build thys #634: Commit 8a4fa77 pushed by jvanbruegge
16m 31s master
master
16m 31s
Remove old test axiomatization of bound Build thys #633: Pull request #112 opened by jvanbruegge
16m 19s remove-typedecl
remove-typedecl
16m 19s
Automate the corecursor Build thys #632: Pull request #97 synchronize by jvanbruegge
1s automated-corecursor
automated-corecursor
1s
Automate the corecursor Build thys #631: Pull request #97 synchronize by ozkutuk
1s automated-corecursor
automated-corecursor
1s
Automate the corecursor Build thys #630: Pull request #97 synchronize by ozkutuk
1s automated-corecursor
automated-corecursor
1s
Automate the corecursor Build thys #629: Pull request #97 synchronize by ozkutuk
1s automated-corecursor
automated-corecursor
1s
Reenable accidentally disabled tests (#110) Build thys #628: Commit c704e92 pushed by jvanbruegge
16m 23s master
master
16m 23s
Reenable accidentally disabled tests Build thys #627: Pull request #110 opened by jvanbruegge
16m 27s enable-tests
enable-tests
16m 27s
Automate the corecursor Build thys #626: Pull request #97 synchronize by jvanbruegge
1s automated-corecursor
automated-corecursor
1s
Automate the corecursor Build thys #625: Pull request #97 synchronize by ozkutuk
1s automated-corecursor
automated-corecursor
1s
Simplify proof of vvsubst for codatatypes (#109) Build thys #624: Commit f44fa08 pushed by jvanbruegge
15m 40s master
master
15m 40s