Skip to content
Jenkins
log in
Dashboard
nipkow
My Views
All
isabelle-notify
Status
Changes
Polling Log
Embeddable Build Status
Build History
trend
No builds
#893
Jun 1, 2024, 10:08 PM
23 KB
#892
Jun 1, 2024, 4:38 PM
22 KB
#891
Jun 1, 2024, 3:35 PM
27 KB
#890
May 31, 2024, 10:53 PM
27 KB
#889
May 29, 2024, 6:17 PM
22 KB
#888
May 29, 2024, 5:34 PM
24 KB
#887
May 25, 2024, 8:32 PM
24 KB
#886
May 24, 2024, 8:38 PM
23 KB
#885
May 24, 2024, 7:02 PM
24 KB
#884
May 23, 2024, 9:44 PM
22 KB
#883
May 23, 2024, 8:29 PM
25 KB
#882
May 13, 2024, 11:47 PM
22 KB
#881
May 13, 2024, 5:26 PM
22 KB
#880
May 10, 2024, 10:20 AM
25 KB
#879
May 3, 2024, 12:32 AM
30 KB
#878
Apr 26, 2024, 1:29 PM
22 KB
#877
Apr 24, 2024, 9:59 PM
23 KB
#876
Apr 24, 2024, 10:26 AM
23 KB
#875
Apr 23, 2024, 4:02 PM
23 KB
#874
Apr 23, 2024, 11:29 AM
22 KB
#873
Apr 22, 2024, 11:11 PM
22 KB
#872
Apr 22, 2024, 11:47 AM
22 KB
#871
Apr 21, 2024, 5:35 PM
22 KB
#870
Apr 21, 2024, 12:05 AM
22 KB
#869
Apr 20, 2024, 1:11 PM
22 KB
#868
Apr 18, 2024, 5:56 PM
22 KB
#867
Apr 18, 2024, 3:32 PM
23 KB
#866
Apr 18, 2024, 2:11 PM
22 KB
#865
Apr 17, 2024, 11:50 PM
23 KB
#864
Apr 17, 2024, 11:14 PM
23 KB
isabelle
-notify
Notify job for Isabelle Tools Collection.
image/svg+xml
Spreadsheet
Jakub Steiner
http://jimmac.musichall.cz
spreadheet
document
office
Disk Usage
Job
20 MB
All builds
20 MB
Locked builds
-
All workspaces
584 MB
Agent workspaces
584 MB
Non-agent workspaces
-
Permalinks
Last build (#893), 7 hr 37 min ago
Last stable build (#893), 7 hr 37 min ago
Last successful build (#893), 7 hr 37 min ago
Last failed build (#825), 2 mo 6 days ago
Last unsuccessful build (#825), 2 mo 6 days ago
Last completed build (#893), 7 hr 37 min ago
![[Jenkins]](/jenkins/static/e8c3d2d4/images/svgs/logo.svg){kind=logo}
