Jobs · Verifpal / Verifpal

Status	Name	Job	Pipeline	Stage	Duration
passed	test	#1864 master e9821bb7	#924 by	test	00:04:07 Dec 29, 2021
passed	lint	#1863 master e9821bb7	#924 by	lint	00:00:46 Dec 29, 2021
passed	test	#1862 master 3989221a	#923 by	test	00:04:24 Nov 09, 2021
passed	lint	#1861 master 3989221a	#923 by	lint	00:00:37 Nov 09, 2021
skipped	test	#1860 master 5f4d326b	#922 by	test
failed	lint	#1859 master 5f4d326b	#922 by	lint	00:01:11 Nov 09, 2021
passed	test	#1851 master b12152a7	#920 by	test	00:02:18 Aug 25, 2021
passed	lint	#1850 master b12152a7	#920 by	lint	00:00:25 Aug 25, 2021
canceled	test	#1849 master aa868ff4	#919 by	test	Aug 25, 2021
canceled	lint	#1848 master aa868ff4	#919 by	lint	Aug 25, 2021
passed	test	#1847 v0.26.1 ae522ce0	#918 by	test	00:02:17 Aug 25, 2021
passed	lint	#1846 v0.26.1 ae522ce0	#918 by	lint	00:00:26 Aug 25, 2021
passed	test	#1845 master ae522ce0	#917 by	test	00:02:15 Aug 25, 2021
passed	lint	#1844 master ae522ce0	#917 by	lint	00:00:31 Aug 25, 2021
passed	test	#1843 master 6245fb14	#916 by	test	00:02:16 Aug 25, 2021
passed	lint	#1842 master 6245fb14	#916 by	lint	00:00:28 Aug 25, 2021
passed	test	#1841 master 2ac01923	#915 by	test	00:02:19 Aug 25, 2021
passed	lint	#1840 master 2ac01923	#915 by	lint	00:00:30 Aug 25, 2021
passed	test	#1839 master 25e545a9	#914 by	test	00:02:28 Aug 25, 2021
passed	lint	#1838 master 25e545a9	#914 by	lint	00:00:31 Aug 25, 2021
passed	test	#1837 master e79571fc	#913 by	test	00:02:12 Aug 25, 2021
passed	lint	#1836 master e79571fc	#913 by	lint	00:00:29 Aug 25, 2021
passed	test	#1835 equivalence-patch aa1fa9d7	#912 by	test	00:02:57 Aug 25, 2021
passed	lint	#1834 equivalence-patch aa1fa9d7	#912 by	lint	00:01:16 Aug 25, 2021
passed	test	#1833 master 8ff9e8ee	#911 by	test	00:02:28 Jul 21, 2021
passed	lint	#1832 master 8ff9e8ee	#911 by	lint	00:00:26 Jul 21, 2021
canceled	test	#1831 master 87369387	#910 by	test	Jul 21, 2021
canceled	lint	#1830 master 87369387	#910 by	lint	Jul 21, 2021
passed	test	#1829 v0.26.0 4d276a85	#909 by	test	00:02:19 Jul 21, 2021
passed	lint	#1828 v0.26.0 4d276a85	#909 by	lint	00:00:25 Jul 21, 2021