History for org.overturetool.cgisa

[Duration graph]
show count
BuildDescriptionDurationFailSkipTotal
overture-development » The VDM to Isabelle Translator #2901.8 sec0373
overture-development » The VDM to Isabelle Translator #2892.8 sec0373
overture-development » The VDM to Isabelle Translator #2881.8 sec0373
overture-development » The VDM to Isabelle Translator #2872.9 sec0373
overture-development » The VDM to Isabelle Translator #2861.7 sec0373
overture-development » The VDM to Isabelle Translator #2852 sec0373
overture-development » The VDM to Isabelle Translator #2842.2 sec0373
overture-development » The VDM to Isabelle Translator #2835.5 sec0373
overture-development » The VDM to Isabelle Translator #2822 sec0373
overture-development » The VDM to Isabelle Translator #2811.8 sec0373
overture-development » The VDM to Isabelle Translator #2801.5 sec0373
overture-development » The VDM to Isabelle Translator #2791.8 sec0373
overture-development » The VDM to Isabelle Translator #2781.6 sec0373
overture-development » The VDM to Isabelle Translator #2771.9 sec0373
overture-development » The VDM to Isabelle Translator #2762.1 sec0373
overture-development » The VDM to Isabelle Translator #2751.5 sec0373
overture-development » The VDM to Isabelle Translator #2741.6 sec0373
overture-development » The VDM to Isabelle Translator #2731.8 sec0373
overture-development » The VDM to Isabelle Translator #2711.7 sec0373
overture-development » The VDM to Isabelle Translator #2701.7 sec0373
overture-development » The VDM to Isabelle Translator #2691.7 sec0373
overture-development » The VDM to Isabelle Translator #2671.9 sec0373
overture-development » The VDM to Isabelle Translator #2661.6 sec0373
Older