Build thys in Isabelle Devel · Workflow runs · jvanbruegge/binder_datatypes · GitHub

Actions

Build thys in Isabelle Devel

Actions

Loading...
Loading

build_devel.yml

13 workflow runs

13 workflow runs

Build thys in Isabelle Devel Build thys in Isabelle Devel #13: Manually run by jvanbruegge

29m 32s corec-antiquotations

corec-antiquotations

29m 32s

Build thys in Isabelle Devel Build thys in Isabelle Devel #12: Manually run by jvanbruegge

14m 42s corec-antiquotations

corec-antiquotations

14m 42s

Build thys in Isabelle Devel Build thys in Isabelle Devel #11: Manually run by jvanbruegge

14m 40s master

master

14m 40s

Build thys in Isabelle Devel Build thys in Isabelle Devel #10: Manually run by jvanbruegge

30m 8s bmv_monads

bmv_monads

30m 8s

Build thys in Isabelle Devel Build thys in Isabelle Devel #9: Manually run by jvanbruegge

15m 16s bmv_monads

bmv_monads

15m 16s

Build thys in Isabelle Devel Build thys in Isabelle Devel #8: Manually run by jvanbruegge

16m 38s bmv_monads

bmv_monads

16m 38s

Build thys in Isabelle Devel Build thys in Isabelle Devel #7: Manually run by jvanbruegge

16m 23s bmv_monads

bmv_monads

16m 23s

Build thys in Isabelle Devel Build thys in Isabelle Devel #6: Manually run by jvanbruegge

24m 49s bmv_monads

bmv_monads

24m 49s

Build thys in Isabelle Devel Build thys in Isabelle Devel #5: Manually run by jvanbruegge

25m 5s bmv_monads

bmv_monads

25m 5s

Build thys in Isabelle Devel Build thys in Isabelle Devel #4: Manually run by jvanbruegge

30m 37s master

master

30m 37s

Add ci job to test isabelle's development version Build thys in Isabelle Devel #3: Pull request #105 synchronize by jvanbruegge

29m 30s ci-devel

ci-devel

29m 30s

Add ci job to test isabelle's development version Build thys in Isabelle Devel #2: Pull request #105 synchronize by jvanbruegge

14m 32s ci-devel

ci-devel

14m 32s

Add ci job to test isabelle's development version Build thys in Isabelle Devel #1: Pull request #105 opened by jvanbruegge

29m 23s ci-devel

ci-devel

29m 23s