Skip to content
Jenkins
log in
Dashboard
Norbert Schirmer <nschirmer@apple.com>
My Views
All
isabelle-notify
Status
Changes
Polling Log
Embeddable Build Status
Build History
trend
No builds
#940
Jun 25, 2024, 6:14 PM
22 KB
#939
Jun 25, 2024, 6:02 PM
23 KB
#938
Jun 25, 2024, 2:02 PM
23 KB
#937
Jun 25, 2024, 11:11 AM
22 KB
#936
Jun 24, 2024, 10:56 PM
22 KB
#935
Jun 22, 2024, 10:32 PM
22 KB
#934
Jun 20, 2024, 4:56 PM
22 KB
#933
Jun 19, 2024, 12:17 PM
22 KB
#932
Jun 19, 2024, 10:23 AM
22 KB
#931
Jun 18, 2024, 5:05 PM
22 KB
#930
Jun 17, 2024, 9:05 AM
22 KB
#929
Jun 16, 2024, 10:29 PM
38 KB
#928
Jun 14, 2024, 12:38 PM
23 KB
#927
Jun 11, 2024, 2:32 PM
22 KB
#926
Jun 11, 2024, 11:20 AM
22 KB
#925
Jun 11, 2024, 10:59 AM
22 KB
#924
Jun 11, 2024, 10:35 AM
22 KB
#923
Jun 11, 2024, 10:17 AM
26 KB
#922
Jun 11, 2024, 8:05 AM
22 KB
#921
Jun 10, 2024, 11:44 PM
25 KB
#920
Jun 10, 2024, 9:38 PM
22 KB
#919
Jun 10, 2024, 7:26 PM
23 KB
#918
Jun 10, 2024, 2:02 PM
22 KB
#917
Jun 10, 2024, 1:50 PM
22 KB
#916
Jun 10, 2024, 1:44 PM
23 KB
#915
Jun 10, 2024, 1:35 PM
23 KB
#914
Jun 9, 2024, 10:56 PM
34 KB
#913
Jun 8, 2024, 5:47 PM
21 KB
#912
Jun 8, 2024, 11:20 AM
24 KB
#911
Jun 6, 2024, 11:35 PM
22 KB
isabelle
-notify
Notify job for Isabelle Tools Collection.
This project is currently disabled
image/svg+xml
Spreadsheet
Jakub Steiner
http://jimmac.musichall.cz
spreadheet
document
office
Disk Usage
Job
21 MB
All builds
21 MB
Locked builds
-
All workspaces
585 MB
Agent workspaces
585 MB
Non-agent workspaces
-
Permalinks
Last build (#940), 23 hr ago
Last stable build (#940), 23 hr ago
Last successful build (#940), 23 hr ago
Last failed build (#914), 16 days ago
Last unsuccessful build (#914), 16 days ago
Last completed build (#940), 23 hr ago