issues
search
CakeML
/
regression
Regression testing infrastructure for CakeML
https://cakeml.org/regression.cgi
GNU General Public License v3.0
3
stars
8
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
URL that when loaded runs worker --refresh
#35
myreen
opened
1 week ago
2
Fix bug in Discord embeds
#34
hrutvik
closed
1 month ago
0
Use "embeds" for Discord messages
#33
hrutvik
closed
1 month ago
0
Add Arm tarball to release command
#32
hrutvik
closed
1 month ago
0
Use 100-job average for expected times
#31
hrutvik
closed
2 months ago
0
Attempt to avoid nasty name clash between branches
#30
hrutvik
closed
2 months ago
0
Fully qualify external PR branches
#29
hrutvik
closed
2 months ago
0
Set TERM to nothing when running Holmake
#28
oskarabrahamsson
closed
5 months ago
0
Add a manual trigger for GitHub releases
#27
hrutvik
closed
8 months ago
1
Try to fix asset upload for automatic GitHub releases
#26
hrutvik
closed
8 months ago
0
Add support for automatic GitHub releases
#25
hrutvik
closed
8 months ago
3
Fix decoding of spaces in url form data
#24
oskarabrahamsson
closed
1 year ago
0
Check for proper prefix when sending slack msg
#23
HeikoBecker
closed
1 year ago
0
Rework the infrastructure to send messages via Slack
#22
xrchz
closed
1 year ago
0
misc worker improvements
#21
sorear
closed
4 years ago
4
Show PR branch names in job types
#20
xrchz
closed
5 years ago
7
Reorganizing files
#19
agomezl
closed
4 years ago
1
New interface for summary page
#18
agomezl
closed
5 years ago
1
Add configuration file for server and worker
#17
agomezl
closed
5 years ago
0
Create a separate conf.sml file to keep all server settings
#16
agomezl
closed
5 years ago
2
Filter labels
#15
talsewell
closed
5 years ago
8
Have 'wait' instance of curl time out.
#14
talsewell
closed
5 years ago
0
Bugfix previous work on status.
#13
talsewell
closed
5 years ago
0
Workers track status and can restart tasks.
#12
talsewell
closed
5 years ago
5
worker should fail if called with an unrecognised argument
#11
oskarabrahamsson
closed
5 years ago
2
gitignore: ignore build directories
#10
michaelsproul
closed
6 years ago
3
Force workers to connect to the server via IPv4
#9
michaelsproul
closed
6 years ago
1
Dockerfile improvements
#8
agomezl
closed
5 years ago
7
Only enable uploads on master builds
#7
ncough
closed
6 years ago
1
Add worker docker file
#6
agomezl
closed
6 years ago
2
Change early upload to relative paths
#5
ncough
closed
6 years ago
2
Add early artefact upload
#4
ncough
closed
6 years ago
5
Support PRs from other repos
#3
ncough
closed
6 years ago
3
Add a --stop flag to the worker
#2
michaelsproul
closed
6 years ago
0
Add delay to refresh
#1
myreen
opened
6 years ago
1